| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add copyright notices. | Matthias Andreas Benkard | 2009-11-27 | 1 | -0/+2 |
| * | JavaScript: Support the creation of new revisions upon user request. | Matthias Andreas Benkard | 2009-11-26 | 1 | -1/+8 |
| * | Choose the current data file by name, not by file modification date. | Matthias Andreas Benkard | 2009-11-26 | 1 | -2/+4 |
| * | MAKE-NEW-REVISION: New function. | Matthias Andreas Benkard | 2009-11-26 | 1 | -2/+15 |
| * | Use a directory as the data store, reading and overwriting only the most rece... | Matthias Andreas Benkard | 2009-11-26 | 1 | -4/+12 |
| * | Read the password from a file. | Matthias Andreas Benkard | 2009-11-26 | 1 | -1/+6 |
| * | Adapt database format to the conventions. | Matthias Andreas Benkard | 2009-11-26 | 1 | -1/+1 |
| * | Require authentication. | Matthias Andreas Benkard | 2009-11-22 | 1 | -52/+68 |
| * | Fix variable setup. | Matthias Andreas Benkard | 2009-11-22 | 1 | -2/+2 |
| * | 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 |
 |
index : mulk/logikorr | |
| Grading tool for a Mathematical Logic lecture held by Prof. Helmut Schwichtenberg. | Matthias Benkard |
| summaryrefslogtreecommitdiff |
path: root/logikorr.lisp