| 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 |
| Wed, 13 Jul 2005 10:48:21 +0200 | haftmann | (corrected wrong commit) | changeset | files |