Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-07-03 17:42:06 -0700 (Sat, 03 Jul 1999)
Revision: 2772
Log message:
Small changes
| Changes | Path |
| +1 -1 | metaprl/editor/ml/shell_state.ml |
| +1 -1 | metaprl/theories/tactic/mptop.ml |