| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Adapt to local directory layout changes. | Matthias Andreas Benkard | 2009-12-17 | 1 | -1/+1 |
| | | |||||
| * | Clean the HTML generation code up. | Matthias Andreas Benkard | 2009-12-03 | 1 | -7/+6 |
| | | |||||
| * | Make the score table layout more spacious. | Matthias Andreas Benkard | 2009-12-03 | 1 | -2/+5 |
| | | |||||
| * | Improve the score table display some more by grouping score entries by ↵ | Matthias Andreas Benkard | 2009-12-03 | 2 | -4/+19 |
| | | | | | exercise sheet. | ||||
| * | Improve score table display. | Matthias Andreas Benkard | 2009-12-02 | 2 | -3/+14 |
| | | |||||
| * | send-mail: Communicate success to the client as appropriate. | Matthias Andreas Benkard | 2009-12-02 | 1 | -1/+2 |
| | | |||||
| * | /logik.txt: New entry point. | Matthias Andreas Benkard | 2009-12-02 | 1 | -0/+4 |
| | | |||||
| * | Add a button for sending the database as mail to all users. | Matthias Andreas Benkard | 2009-12-02 | 2 | -1/+60 |
| | | |||||
| * | make-new-revision: Improve performance. | Matthias Andreas Benkard | 2009-12-02 | 1 | -3/+10 |
| | | |||||
| * | Add a preliminary Leiningen project definition. | Matthias Andreas Benkard | 2009-12-01 | 1 | -0/+9 |
| | | |||||
| * | Sort the student list by name. | Matthias Andreas Benkard | 2009-12-01 | 1 | -1/+3 |
| | | |||||
| * | .gitignore: Update. | Matthias Andreas Benkard | 2009-12-01 | 1 | -0/+1 |
| | | |||||
| * | Add an index definition file for the Google App Engine. | Matthias Andreas Benkard | 2009-11-30 | 1 | -0/+7 |
| | | |||||
| * | Do authentication by querying the database for existing users instead of ↵ | Matthias Andreas Benkard | 2009-11-30 | 1 | -5/+3 |
| | | | | | checking a hard-coded user list. | ||||
| * | Make potentially more efficient use of the data store when updating entities. | Matthias Andreas Benkard | 2009-11-29 | 1 | -6/+9 |
| | | |||||
| * | Update to App Engine SDK version 1.2.6. | Matthias Andreas Benkard | 2009-11-29 | 1 | -1/+1 |
| | | |||||
| * | Support importing data from a file. | Matthias Andreas Benkard | 2009-11-29 | 1 | -7/+33 |
| | | |||||
| * | Fix authentication. | Matthias Andreas Benkard | 2009-11-29 | 1 | -4/+5 |
| | | |||||
| * | Configure the project for deployment. | Matthias Andreas Benkard | 2009-11-29 | 1 | -1/+1 |
| | | |||||
| * | Fix the build system by adding a dummy unit test file. | Matthias Andreas Benkard | 2009-11-29 | 2 | -1/+2 |
| | | |||||
| * | Allow the user to log in as needed. | Matthias Andreas Benkard | 2009-11-29 | 1 | -18/+19 |
| | | |||||
| * | Require authentication. | Matthias Andreas Benkard | 2009-11-29 | 1 | -0/+13 |
| | | |||||
| * | Various bug fixes. | Matthias Andreas Benkard | 2009-11-29 | 2 | -1/+2 |
| | | |||||
| * | .gitignore: Update. | Matthias Andreas Benkard | 2009-11-29 | 1 | -0/+2 |
| | | |||||
| * | build.xml: New file. | Matthias Andreas Benkard | 2009-11-29 | 2 | -1/+77 |
| | | |||||
| * | 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 | 18 | -295/+226 |
| | | |||||
| * | Replace Yaclml with CL-WHO. | Matthias Andreas Benkard | 2009-11-27 | 2 | -27/+29 |
| | | |||||
| * | Do not hard-code the data directory. | Matthias Andreas Benkard | 2009-11-27 | 1 | -1/+1 |
| | | |||||
| * | Add copyright notices. | Matthias Andreas Benkard | 2009-11-27 | 3 | -0/+6 |
| | | |||||
| * | Add a start script. | Matthias Andreas Benkard | 2009-11-27 | 1 | -0/+11 |
| | | |||||
| * | JavaScript: Support the creation of new revisions upon user request. | Matthias Andreas Benkard | 2009-11-26 | 2 | -3/+22 |
| | | |||||
| * | 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 ↵ | Matthias Andreas Benkard | 2009-11-26 | 1 | -4/+12 |
| | | | | | recently written file in that directory. | ||||
| * | 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 | 2 | -2/+2 |
| | | |||||
| * | 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 |
| | | |||||
| * | JavaScript: Trigger the script.aculo.us autocompleter as quickly as possible. | Matthias Andreas Benkard | 2009-11-20 | 1 | -1/+1 |
| | | |||||
| * | Fix the score update procedure. | Matthias Andreas Benkard | 2009-11-20 | 1 | -4/+12 |
| | | |||||
 |
index : mulk/logikorr | |
| Grading tool for a Mathematical Logic lecture held by Prof. Helmut Schwichtenberg. | Matthias Benkard |
| summaryrefslogtreecommitdiff |