| 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 |
| Fri, 09 Jun 2000 10:26:21 +0200 | wenzelm | * browser info session directories are now self-contained (may be put | changeset | files |
| Thu, 08 Jun 2000 21:53:44 +0200 | wenzelm | prf_open/close; | changeset | files |
| Wed, 07 Jun 2000 17:14:58 +0200 | paulson | replacing 0hr by (0::hypreal) | changeset | files |
| Wed, 07 Jun 2000 17:14:19 +0200 | kleing | minor tuning for pdf documents | changeset | files |