File	Date	Author	Commit
Lurch	2014-08-03	Nathan Carter	[93e5e1] Remove rare crash situation
ToyProofs	2013-08-14	Ken Monks	[dcea97] One formatting tweak and one typo fix.
doctest	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
geturn	2013-06-14	Nathan Carter	[5405df] Tweaks to make geturn and simple_script compile...
simple_script	2013-06-14	Nathan Carter	[5405df] Tweaks to make geturn and simple_script compile...
README.txt	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
install_lurchware	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
lurchtesting	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
testlurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...

Read Me

In this directory we put all applications that are part of the Lurch project, from major
GUI applications to minor command-line tools.

Stuff in the trunk/utils directory:

testlurch
    See explanation in trunk/tests/README.txt.
simple_script
    A command-line JavaScript interpreter that uses the QtScript framework, and has
    in-script support for Lobs built in.
geturn
    A tiny command-line tool that reads a .lurch file and prints out its URN.
librep
    (Although I haven't committed this one to SVN yet, so it's not in your checkout...)
    A tool for those who will be building LIBrary REPositories.
    This is a python script that will prepare the .xml files and bundle them with the .lurch
    files they reference, so that you can upload them to a web server and thus host a Lurch
    document repository.
ToyProofs
    The first application that came out of our project, a simple marriage of Lobs and scripts,
    to play some math games.
Lurch
    The goal of our project, a word processor that can check your mathematical reasoning.