Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-18 11:41:43 -0700 (Fri, 18 Jun 2004)
Revision: 5941
Log message:

      - Forgot the tex mode yesterday. Jason, does your new "src is a special mode"
      functionality provide some way to specify "really all modes" w/o resorting to
      "mode[src] :: mode[prl] :: mode[html] :: mode[tex]"?
      
      - Added a missing docoff
      

Changes	Path
+10 -10	metaprl/support/display/base_dform.ml
+1 -0	metaprl/theories/itt/itt_equal.ml