/[mojave]
ViewVC logotype

Revision 3363


Jump to revision: Previous Next
Author: jyh
Date: Tue Aug 7 20:32:03 2001 UTC (19 years, 11 months ago)
Changed paths: 28
Log Message:
Added some initial Conscript files.  cons is a "make" replacement.
make will continue to work in the usual way, but cons will
eventually make it easier to produce a build.


Changed paths

Path Details
Directorymetaprl/ modified , props changed
Directorymetaprl/Conscript added
Directorymetaprl/Construct added
Directorymetaprl/clib/Conscript added
Directorymetaprl/debug/Conscript added
Directorymetaprl/ensemble/Conscript added
Directorymetaprl/filter/Conscript added
Directorymetaprl/filter/base/Conscript added
Directorymetaprl/filter/boot/Conscript added
Directorymetaprl/filter/filter/Conscript added
Directorymetaprl/filter/filter/filter_main.ml modified , text changed
Directorymetaprl/library/Conscript added
Directorymetaprl/library/db.ml modified , text changed
Directorymetaprl/mllib/Conscript added
Directorymetaprl/refiner/Conscript added
Directorymetaprl/refiner/refbase/Conscript added
Directorymetaprl/refiner/refiner/Conscript added
Directorymetaprl/refiner/reflib/Conscript added
Directorymetaprl/refiner/reflib/arith.ml modified , text changed
Directorymetaprl/refiner/refsig/Conscript added
Directorymetaprl/refiner/rewrite/Conscript added
Directorymetaprl/refiner/term_ds/Conscript added
Directorymetaprl/refiner/term_ds/term_ds_sig.ml modified , text changed
Directorymetaprl/refiner/term_gen/Conscript added
Directorymetaprl/refiner/term_std/Conscript added
Directorymetaprl/theories/Conscript added
Directorymetaprl/util/Conscript added
Directorymetaprl/util/Construct added

  ViewVC Help
Powered by ViewVC 1.1.26