Changes by: Carl Witty (cwitty at newtonlabs.com)
Date: 1999-06-30 21:47:18 -0700 (Wed, 30 Jun 1999)
Revision: 2770
Log message:

      I tried to make the OCaml toploop (i.e., editor/ml/mp) work.  I think
      this may be part of the solution, but somebody needs to check my work;
      I didn't really understand what I was doing here.
      
      There's still a bug: when I try to enter a term at the prompt, I get
      messages claiming that the term names are undeclared:
      
      # << unit >>;;
      # While expanding quotation "term":
      Failure: undeclared name: unit
      
      This was in a context (specifically, "itt_fset/fsub_member_intro3")
      where << unit >> should have been declared (and in fact, I don't get
      that error using mptop).
      

Changes	Path
+1 -1	metaprl/editor/ml/shell_p4.ml
+2 -0	metaprl/editor/ml/shell_p4_sig.mlz
+3 -2	metaprl/editor/ml/shell_state.ml