Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-13 01:56:44 -0700 (Sun, 13 Jun 2004)
Revision: 5894
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.