Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-29 23:27:09 -0700 (Tue, 29 Jun 1999)
Revision: 2768
Log message:
Now
#use "x.ml";;
works again in ./mp
Changes | Path |
+1 -1 | metaprl/editor/ml/mpconfig |
+2 -2 | metaprl/editor/ml/x.ml |