Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-09-05 14:02:22 -0700 (Sat, 05 Sep 1998)
Revision: 2455
Log message:
Added version numbering.
| Changes | Path |
| Properties | metaprl/editor/ml |
| +7 -0 | metaprl/editor/ml/Makefile |
| Added | metaprl/editor/ml/nl_version.mli |
| Properties | metaprl/editor/ml/nl_version.mli |
| +2 -5 | metaprl/editor/ml/shell_nl.ml |
| +2 -5 | metaprl/editor/ml/shell_p4.ml |