Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-24 21:28:18 -0700 (Thu, 24 Apr 2003)
Revision: 4489
Log message:

      - In lzone, do not stop printing once past the margin, let it wrap around,
      if necessary.
      - When displaing comments, display the normal math $...$ in lzone mode (e.g.
      let TeX do the line breaking).
      

Changes	Path
+14 -38	metaprl/refiner/reflib/rformat.ml
+1 -1	metaprl/theories/tactic/comment.ml