Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-13 01:56:44 -0700 (Sun, 13 Jun 2004)
Revision: 392
Log message:

      - Added a "D" (LsDocumentation) flag and a corresponding browser interface
        menu entry to be able to control whether documentation is displayed or not.
      
      - The default view flags are now
        [LsFormal; LsParent; LsRules; LsRewrites; LsDocumentation]
      
      - Now when "u" (lsUnjustified) is removed from the view flags set, the default
        flags are restored (the former "hide everything" behavior did not make much
        sense IMO).
      
      - Removed the "Interface\nbegin\n...\nend" wrapper from the theory display.
        It only waisted 3 lines and 4 columns of screen space without contributing
        anything (and was making things especially confusing when ls options
        other than "all" were used).
      
      - In prl and HTML mode, made the display of the documentation closer to
        the TeX style and less source-like. The individial display forms for some
        pieces of documentation still need work, but overall it IMHO looks OK in prl
        and pretty good in HTML.
      

Changes  Path
+2 -0 libmojave/stdlib/lm_rformat_html.ml