Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2001-04-23 11:26:44 -0700 (Mon, 23 Apr 2001)
Revision: 3202
Log message:
simplified and documented jprover/nuprl5 connection
| Changes | Path |
| +13 -0 | metaprl/editor/ml/QUICKSTART |
| +3 -3 | metaprl/editor/ml/nuprl_eval.ml |
| +9 -9 | metaprl/editor/ml/nuprl_run.mli |
| +14 -17 | metaprl/library/orb.ml |
| +8 -16 | metaprl/library/test.ml |