| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
 |
index : mulk/logikorr | |
| Grading tool for a Mathematical Logic lecture held by Prof. Helmut Schwichtenberg. | Matthias Benkard |
| summaryrefslogtreecommitdiff |
path: root/logikorr.lisp