| 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 |