Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-08-16 00:29:04 -0700 (Wed, 16 Aug 2000)
Revision: 3048
Log message:

      Fixed some mess with dispaly forms. But we still need to implement mode generality,
      sets of modes (or at least something like mode[all except src] flag)
      and make sure that the modes are correct on all the dforms.
      

Changes  Path
+4 -0 metaprl/BUGS
+3 -3 metaprl/editor/ml/shell.ml
+5 -3 metaprl/theories/base/base_dform.ml
+4 -4 metaprl/theories/itt/itt_dprod_imp.ml
+4 -4 metaprl/theories/itt/itt_equal.ml
+32 -31 metaprl/theories/itt/itt_logic.ml