| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 42 | logplain |
| -rw-r--r-- | build.xml | 3098 | logplain |
| -rw-r--r-- | project.clj | 474 | logplain |
| d--------- | src | 70 | logplain |
| d--------- | test / logikorr | 35 | logplain |
| d--------- | war | 139 | logplain |
 |
index : mulk/logikorr | |
| Grading tool for a Mathematical Logic lecture held by Prof. Helmut Schwichtenberg. | Matthias Benkard |
| summaryrefslogtreecommitdiff |