Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-30 03:57:44 -0700 (Tue, 30 May 2000)
Revision: 2996
Log message:

      Do something reasonable for term printing in Ocaml toploop.
      
      Modern versions of Ocaml require installed printers to use the Format library.
      The only quick way to do it was to use print a term to a string and use
      Format.print_string.
      
      However, it may be a good idea to abandon Rformat and
      to use Format instead or to write an alternative implementation of the Rformat
      interface using Format.
      

Changes  Path
+1 -1 metaprl/editor/ml/shell_p4.ml
+1 -1 metaprl/editor/ml/shell_p4_sig.mlz
+12 -1 metaprl/editor/ml/shell_state.ml