| Fri, 15 Sep 2000 16:54:26 +0200 | wenzelm | isabelle: -P option; | changeset | files |
| Fri, 15 Sep 2000 16:53:41 +0200 | wenzelm | tuned msg; | changeset | files |
| Fri, 15 Sep 2000 16:46:15 +0200 | wenzelm | system: isatool installfonts may handle X-Symbol fonts as well; | changeset | files |
| Fri, 15 Sep 2000 16:44:57 +0200 | wenzelm | added latexsym (no longer loaded by isabellesym); | changeset | files |
| Fri, 15 Sep 2000 16:40:20 +0200 | wenzelm | tuned init sequence; | changeset | files |
| Fri, 15 Sep 2000 16:38:15 +0200 | wenzelm | ML_command: no_timing; | changeset | files |
| Fri, 15 Sep 2000 16:31:36 +0200 | wenzelm | unexport exports; | changeset | files |
| Fri, 15 Sep 2000 16:31:00 +0200 | wenzelm | added lparr, rparr; | changeset | files |