Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-29 17:41:44 -0700 (Fri, 29 Aug 2003)
Revision: 4901
Log message:
- Changed the ``ls ""'' to display fewer things. In particular, it will no longer
show display forms (as they do not add anything to existing "displayed as") and
"Id" statements.
- Added a "d" option to ls - ``ls "d"'' will show all dforms-related stuff
(dforms, precedences, etc).
Changes | Path |
+5 -2 | metaprl/editor/ml/QUICKSTART |
+2 -0 | metaprl/support/shell/shell.ml |
+20 -17 | metaprl/support/shell/shell_package.ml |
+2 -1 | metaprl/support/shell/shell_sig.mlz |