Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-08 09:32:08 -0700 (Tue, 08 May 2001)
Revision: 3219
Log message:
I accidentally disabled the code that was creating display forms - fixed.
Changes | Path |
+6 -4 | metaprl/filter/base/filter_prog.ml |
+5 -3 | metaprl/filter/filter/filter_parse.ml |
+18 -17 | metaprl/refiner/reflib/dform.ml |