Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-25 18:56:54 -0700 (Fri, 25 Apr 2003)
Revision: 4500
Log message:

      - Do not ignore breaks in linear zones, turn them into spaces instead.
      
      - Tried to write some code that would provide location(s) of the
      misspelled words, but didn't get it to work (yet?).
      
      - In display forms for "declare" and "define", print the raw term in tt font.
      
      - M theories: always typeset opnames in tt font (not finished - I am in
      the middle of sec 14 (m_x86_asm) with it, feel free to take over).
      
      - other M documentation fixes.
      

Changes  Path
+4 -3 metaprl/filter/filter/term_grammar.ml
+13 -14 metaprl/refiner/reflib/rformat.ml
+23 -29 metaprl/theories/experimental/compile/m_closure.ml
+9 -9 metaprl/theories/experimental/compile/m_cps.ml
+11 -12 metaprl/theories/experimental/compile/m_ir.ml
+2 -5 metaprl/theories/experimental/compile/m_prog.ml
+11 -12 metaprl/theories/experimental/compile/m_x86_asm.ml
+6 -0 metaprl/theories/tactic/base_dform.ml
+8 -8 metaprl/theories/tactic/nuprl_font.ml
+3 -3 metaprl/theories/tactic/summary.ml