| 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 |
| Mon, 22 May 2000 13:20:47 +0200 | paulson | tidied and made to work with AddSIs [psubsetI] | changeset | files |