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 |