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 |