/[mojave]
ViewVC logotype

Revision 3472


Jump to revision: Previous Next
Author: emre
Date: Sat Dec 22 05:43:27 2001 UTC (19 years, 7 months ago)
Changed paths: 24
Log Message:
-  Removed util/Construct since it seems to be
   unnecessary for building MetaPRL with cons.
-  Minor changes to other Conscript(s).
   Mostly formatting (changing tabs to spaces).
-  Top level Conscript only uses the MC std. lib.
   if MC_ROOT is defined.  Before, if MC_ROOT wasn't
   defined, the -I cmd. line arguments would have
   unnecessary things like -I /lib/naml/...
-  Minor changes to display forms in theories/mc.
-  Minor changes to code formatting in theories/mc.
-  Filled in missing Mc_fir_connect_* functions.
   I need to look over them at some point for
   obvious typo-bugs and perform other testing.


Changed paths

Path Details
Directorymetaprl/Conscript modified , text changed
Directorymetaprl/Construct modified , text changed
Directorymetaprl/editor/ml/Conscript modified , text changed
Directorymetaprl/refiner/Conscript modified , text changed
Directorymetaprl/refiner/refiner/Conscript modified , text changed
Directorymetaprl/theories/mc/README modified , text changed
Directorymetaprl/theories/mc/TODO modified , text changed
Directorymetaprl/theories/mc/fir_eval.ml modified , text changed
Directorymetaprl/theories/mc/fir_eval.mli modified , text changed
Directorymetaprl/theories/mc/fir_exp.ml modified , text changed
Directorymetaprl/theories/mc/fir_exp.mli modified , text changed
Directorymetaprl/theories/mc/fir_test.ml modified , text changed
Directorymetaprl/theories/mc/fir_ty.ml modified , text changed
Directorymetaprl/theories/mc/fir_ty.mli modified , text changed
Directorymetaprl/theories/mc/mc_fir_connect_base.ml modified , text changed
Directorymetaprl/theories/mc/mc_fir_connect_base.mli modified , text changed
Directorymetaprl/theories/mc/mc_fir_connect_exp.ml modified , text changed
Directorymetaprl/theories/mc/mc_fir_connect_exp.mli modified , text changed
Directorymetaprl/theories/mc/mc_set.ml modified , text changed
Directorymetaprl/theories/mc/mc_set.mli modified , text changed
Directorymetaprl/theories/mc/mc_term_op.ml modified , text changed
Directorymetaprl/theories/mc/mc_theory.ml modified , text changed
Directorymetaprl/theories/mc/mc_theory.mli modified , text changed
Directorymetaprl/util/Construct deleted

  ViewVC Help
Powered by ViewVC 1.1.26