Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-12-02 01:00:18 -0800 (Mon, 02 Dec 2002)
Revision: 3942
Log message:
Added expand_all to mp.run top-lop
Changes | Path |
+1 -0 | metaprl/editor/ml/mp.ml |
+1 -0 | metaprl/editor/ml/mp.mli |