Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-03 01:51:30 -0800 (Thu, 03 Feb 2005)
Revision: 6578
Log message:

      The display form operators ("slot", "pushm", etc) and options ("mode",
      "parens", etc) are now properly declared in the Perv module instead of being
      hacked into the opname table by the Filter_cache_fun. (Issue 398)
      

Changes  Path
+1 -46 metaprl/filter/base/filter_cache_fun.ml
+3 -6 metaprl/refiner/reflib/dform.ml
+1 -1 metaprl/support/display/base_dform.ml
+4 -4 metaprl/support/display/nuprl_font.ml
+33 -0 metaprl/support/display/perv.ml
+31 -0 metaprl/support/display/perv.mli