Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-31 20:02:39 -0700 (Thu, 31 Jul 2003)
Revision: 4800
Log message:
Partial fix for bug 38 - "root ()" top-loop command works again now.
Changes | Path |
+19 -21 | metaprl/support/shell/shell.ml |
+0 -1 | metaprl/support/shell/shell_sig.mlz |