| Tue, 13 Jun 2000 18:36:06 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 13 Jun 2000 18:34:59 +0200 | wenzelm | rename @case to _case_syntax (improves on low-level errors); | changeset | files |
| Tue, 13 Jun 2000 18:33:55 +0200 | wenzelm | updated; | changeset | files |
| Tue, 13 Jun 2000 18:33:34 +0200 | wenzelm | qed_spec_mp: strip_shyps_warning; | changeset | files |