| Sat, 30 Apr 2005 02:45:17 +0200 | kleing | move generated files to document/ to avoid CVS file overwrite in generated/ | changeset | files |
| Sat, 30 Apr 2005 02:43:45 +0200 | kleing | move generated files to document/, avoid CVS file overwrite in generated/ | changeset | files |
| Sat, 30 Apr 2005 02:19:42 +0200 | kleing | unused | changeset | files |
| Sat, 30 Apr 2005 00:53:56 +0200 | kleing | removed obsolete exercise collection (is now in coursematerial) | changeset | files |
| Fri, 29 Apr 2005 18:13:28 +0200 | paulson | updated PG preview for new thms-containing | changeset | files |
| Fri, 29 Apr 2005 16:45:49 +0200 | paulson | better error reporting | changeset | files |
| Fri, 29 Apr 2005 13:35:55 +0200 | kleing | put 8h time limit on test | changeset | files |