Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-05 16:09:30 -0700 (Thu, 05 May 2005)
Revision: 7249
Log message:

      Renamed Ocaml!OCaml -> Ocaml!TyOCaml (to avoid clashes with Comment!OCaml).
      

Changes	Path
+275 -275	metaprl/support/display/ocaml.mlz
+67 -67	metaprl/support/display/ocaml_base_df.mli
+10 -10	metaprl/support/display/ocaml_expr_df.ml
+4 -4	metaprl/support/display/ocaml_expr_df.mli
+1 -1	metaprl/support/display/ocaml_mt_df.ml
+14 -14	metaprl/support/display/ocaml_patt_df.ml
+6 -6	metaprl/support/display/ocaml_sig_df.ml
+2 -2	metaprl/support/display/ocaml_str_df.ml
+7 -7	metaprl/support/display/ocaml_type_df.ml
+2 -2	metaprl/support/display/summary.ml
+13 -13	metaprl/theories/ocaml_sos/ocaml_base_sos.ml
+13 -13	metaprl/theories/ocaml_sos/ocaml_base_sos.mli