| Wed, 13 Jul 2005 14:56:00 +0200 | wenzelm | fixed comment-out; | changeset | files |
| Wed, 13 Jul 2005 12:24:39 +0200 | obua | fix | changeset | files |
| Wed, 13 Jul 2005 12:14:23 +0200 | aspinall | Add management for current working directory | changeset | files |
| Wed, 13 Jul 2005 11:30:37 +0200 | haftmann | (fix for an accidental commit) | changeset | files |
| Wed, 13 Jul 2005 11:29:08 +0200 | aspinall | Note about theorem dependencies including themselves. | changeset | files |
| Wed, 13 Jul 2005 11:28:09 +0200 | aspinall | Fix informtheoryloaded/retracted -> informfileloaded/retracted to match pgip.rnc | changeset | files |
| Wed, 13 Jul 2005 11:16:34 +0200 | haftmann | (intermediate commit) | changeset | files |