| Wed, 14 Nov 2001 23:19:09 +0100 | wenzelm | Isar attribute and method setup; | changeset | files |
| Wed, 14 Nov 2001 23:18:37 +0100 | wenzelm | fix path prefix; | changeset | files |
| Wed, 14 Nov 2001 23:18:13 +0100 | wenzelm | use proper intr_names (for required case_names); | changeset | files |