Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-12 16:53:22 -0700 (Sat, 12 Jul 2003)
Revision: 4734
Log message:

      - Made the display_var a properly declared opname instead of a hacked "internal" one.
      - Removed generated symlink files from CVS.
      

Changes  Path
+0 -2 metaprl/filter/base/filter_cache_fun.ml
+3 -2 metaprl/refiner/reflib/dform.ml
+2 -0 metaprl/support/display/base_dform.ml
Deleted metaprl/theories/experimental/compile/m_ra_type.ml
Deleted metaprl/theories/experimental/compile/m_ra_type.mli