Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-01-28 10:44:05 -0800 (Thu, 28 Jan 1999)
Revision: 2577
Log message:

      Upgraded to OCaml 2.01.
      

Changes	Path
+56 -63	metaprl/editor/ml/library_eval.ml
+2 -2	metaprl/editor/ml/package_info.ml
+15 -15	metaprl/editor/ml/shell.ml
+7 -7	metaprl/editor/ml/shell_p4.ml
+4 -4	metaprl/ensemble/appl_outboard_client.ml
+1 -1	metaprl/ensemble/appl_outboard_server.ml
+6 -6	metaprl/filter/filter_cache_fun.ml
+19 -19	metaprl/filter/filter_comment.ml
+25 -19	metaprl/filter/filter_hash.ml
+64 -35	metaprl/filter/filter_ocaml.ml
+8 -8	metaprl/filter/filter_ocaml.mli
+32 -26	metaprl/filter/mLast_util.ml
+6 -6	metaprl/filter/mLast_util.mli
+1 -1	metaprl/library/library_type_base.ml
+6 -6	metaprl/refiner/refiner/refine.mlp
+3 -3	metaprl/refiner/refsig/refine_sig.ml
+4 -1	metaprl/theories/tactic/mptop.ml
+11 -11	metaprl/theories/tactic/tactic_cache.ml
+4 -4	metaprl/theories/tactic/tactic_type.ml