Lurch Files

Lurch 0.796 Release Notes

    This is a point release on top of 0.795,
    to fix bugs and add minor features.

To read the complete information on the (previous) 0.795 release, see here:
http://sourceforge.net/projects/lurch/files/Lurch/0.795/release-notes.txt/view

Improvements in this point release (0.796) include these:

    All of the improvements in 0.795, as referenced above, plus:
    
    Enhancements:
    New "red comment pen" style for teachers grading student documents
    Zoom way in/way out menu items (with keyboard shortcuts) for use when
        showing documents on an overhead projector, or frequently opening
        files from users with lower resolutions
    Lists now default to numbered lists instead of bullets, for line-numbered
        proofs; also added and improved other list-related tools/actions
    Topic dialog now lets you import the topic's definitions into your
        current document, rather than create a whole new one
    Making default document on first Lurch launch be the one with the most
        definitions and rules (Famous Sets of Numbers)
    Lurch remembers size/position of rule list dialog

    Bug fixes:
    Copy and paste could introduce "duplicate IDs" into a document silently,
        making Lurch refuse to open the document later
    Wrong dependencies for Famous Sets of Numbers and its ruleset corrected
    Some Meaningful Expressions in expanded form were unable to collapse
        due to a bug in how text representations of MEs were computed

For more details, we recommend the following links.
    Introductory videos:
        http://lurch.sourceforge.net/videos
    Documentation:
        http://lurch.sourceforge.net/documentation

Special note for Linux users:
    The Linux install script in this release of Lurch has been tested on
    Ubuntu 12.10, Linux Mint 14, and Xubuntu 12.10 only.  It probably
    also functions on other Linux distributions, but has not been tested 
    there.  Nevertheless, the script itself is rather straightforward and
    liberally commented.  Intrepid users should find no difficulty walking
    through the comments and doing a manual install on their own Linux/BSD
    system.

Questions and suggestions are welcome on the Lurch email list.
    http://lists.sourceforge.net/lists/listinfo/lurch-discuss

To see our detailed list of priorities (and to add bug reports and
feature requests to it) visit our Trac site.
    http://sourceforge.net/apps/trac/lurch/report/3

Our development tools' license requires us to inform you that the
source code for our entire application is freely available on the
Internet.  See our website.
    http://lurch.sourceforge.net