mulk/logikorr - Grading tool for a Mathematical Logic lecture held by Prof. Helmut Schwichtenberg.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Various bug fixes.	Matthias Andreas Benkard	2009-11-29	1	-1/+1
\|
*	build.xml: New file.	Matthias Andreas Benkard	2009-11-29	1	-1/+1
\|
*	Move the source files around a bit.	Matthias Andreas Benkard	2009-11-29	1	-0/+0
\|
*	Support numbers other than floats.	Matthias Andreas Benkard	2009-11-29	1	-1/+2
\|
*	Use transactions more pervasively.	Matthias Andreas Benkard	2009-11-29	1	-8/+9
\|
*	Support the creation of new revisions.	Matthias Andreas Benkard	2009-11-29	1	-2/+10
\|
*	Add datastore transaction support.	Matthias Andreas Benkard	2009-11-29	1	-0/+17
\|
*	Beginning of a rewrite in Clojure for use on the Google App Engine.	Matthias Andreas Benkard	2009-11-29	2	-0/+177