Lurch Files

Lurch 0.795 Release Notes

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

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

Improvements in this point release (0.795) include these:

    All of the improvements in 0.79, as referenced above, plus:
    
    Enhancements:
    Warns before changing default font to one without unicode math symbols
    Blank document opened in new Lurch installation now includes a stylesheet
    Removed unused fonts, to shrink size and complexity of distribution a bit

    Bug fixes:
    Small typo and format fixes
    In validation:
        Removed rarely occurring infinite loop
        Made subproof/declaration blocks respect contexts
        Fixed confusing feedback message when a condition failed
        Two successive numbered lists misread one item's number

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