Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-10 22:26:34 -0700 (Thu, 10 Jun 2004)
Revision: 5881
Log message:

      Got rif of the unused "internal" flag for the display forms.
      

Changes	Path
+0 -1	metaprl/filter/base/filter_cache_fun.ml
+0 -11	metaprl/filter/filter/filter_parse.ml
+22 -22	metaprl/support/display/base_dform.ml
+539 -539	metaprl/support/display/nuprl_font.ml
+66 -66	metaprl/support/display/ocaml_base_df.ml
+56 -56	metaprl/support/display/ocaml_expr_df.ml
+9 -9	metaprl/support/display/ocaml_mt_df.ml
+91 -91	metaprl/support/display/ocaml_patt_df.ml
+13 -13	metaprl/support/display/ocaml_sig_df.ml
+22 -22	metaprl/support/display/ocaml_str_df.ml
+32 -32	metaprl/support/display/ocaml_type_df.ml
+73 -73	metaprl/support/display/summary.ml
+3 -3	metaprl/theories/itt/itt_int_base.ml
+3 -3	metaprl/theories/sil/sil_state.ml