| 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 |
| Mon, 16 Aug 2004 17:56:07 +0200 | aspinall | Experimental pgip_isar.xml file | changeset | files |
| Mon, 16 Aug 2004 17:06:47 +0200 | nipkow | new theory header syntax. | changeset | files |