Fri, 29 Apr 2005 13:35:55 +0200 | kleing | put 8h time limit on test | changeset | files |
Fri, 29 Apr 2005 13:12:38 +0200 | kleing | move isadist to ~/tmp/ | changeset | files |
Fri, 29 Apr 2005 13:11:42 +0200 | kleing | publish only *.html | changeset | files |
Fri, 29 Apr 2005 13:11:19 +0200 | kleing | include new thms_containing | changeset | files |
Fri, 29 Apr 2005 11:42:46 +0200 | kleing | credits | changeset | files |
Fri, 29 Apr 2005 11:40:29 +0200 | kleing | new thms_containing that searches for patterns instead of constants | changeset | files |