Lurch Code

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.