| Fri, 15 Sep 2000 18:14:17 +0200 | oheimb | added mJava macro | changeset | files |
| Fri, 15 Sep 2000 16:55:20 +0200 | wenzelm | isatool installfonts: -x option; | changeset | files |
| 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 |