Thu, 17 Aug 2000 10:31:10 +0200 | wenzelm | renamed 'RS' to 'THEN'; | changeset | files |
Thu, 17 Aug 2000 10:29:50 +0200 | wenzelm | fixed lbrace, rbrace; | changeset | files |
Thu, 17 Aug 2000 10:29:23 +0200 | wenzelm | Isar/Pure: renamed 'RS' attribute to 'THEN'; | changeset | files |