| Mon, 22 May 2000 16:04:32 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 22 May 2000 16:03:43 +0200 | wenzelm | * Pure: changed syntax of local blocks from {{ }} to { }; | changeset | files |
| Mon, 22 May 2000 13:29:21 +0200 | wenzelm | new Isar version; | changeset | files |