Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-11-04 18:36:58 -0800 (Sun, 04 Nov 2001)
Revision: 3440
Log message:
cons files:
- The mp_version.ml file is now created with a proper version string
- The refiner used is now controlled by the RFEINER and TERM variables
specified in the top-level Conscript (but not yet taken from mk/config).
Changes | Path |
+1 -1 | metaprl/Conscript |
+1 -1 | metaprl/editor/ml/Conscript |
+1 -1 | metaprl/refiner/Conscript |
+1 -1 | metaprl/refiner/refiner/Conscript |
+2 -2 | metaprl/refiner/rewrite/Conscript |