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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Minor cleanups.	Matthias Andreas Benkard	2009-11-21	1	-15/+5
\|
*	Fix dependencies.	Matthias Andreas Benkard	2009-11-21	1	-1/+1
\|
*	Save changes made by the user to the database.	Matthias Andreas Benkard	2009-11-20	1	-6/+16
\|
*	Make the database lock reentrant.	Matthias Andreas Benkard	2009-11-20	1	-26/+33
\|
*	Implement database locking.	Matthias Andreas Benkard	2009-11-20	1	-27/+45
\|
*	Fix the score update procedure.	Matthias Andreas Benkard	2009-11-20	1	-4/+12
\|
*	Implement automatic construction of score input rows.	Matthias Andreas Benkard	2009-11-20	1	-7/+7
\|
*	Stop using ParenScript.	Matthias Andreas Benkard	2009-11-20	1	-42/+10
\|
*	Remove the old code parts that used to deal with YUI 2 support.	Matthias Andreas Benkard	2009-11-20	1	-29/+3
\|
*	Initial commit.	Matthias Andreas Benkard	2009-11-20	1	-0/+243