| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | changeset | files |
| Tue, 17 Aug 2004 11:00:24 +0200 | kleing | todo before next release | changeset | files |
| Tue, 17 Aug 2004 10:49:52 +0200 | kleing | improved wording course material | changeset | files |
| Tue, 17 Aug 2004 01:20:29 +0200 | kleing | include course material page | changeset | files |
| Mon, 16 Aug 2004 19:47:01 +0200 | nipkow | Adapted text to new theory header syntax. | changeset | files |
| Mon, 16 Aug 2004 19:06:59 +0200 | nipkow | Added "import" and "begin" | changeset | files |
| Mon, 16 Aug 2004 18:05:41 +0200 | aspinall | Experimental version supporting PGIP, merged with main branch with help from Makarius. | changeset | files |