2000-09-15 wenzelm XSYMBOL_INSTALLFONTS is back;
2000-09-15 nipkow *** empty log message ***
2000-09-15 nipkow *** empty log message ***
2000-09-15 wenzelm "hints" made keyword again;
2000-09-15 wenzelm hunting gremlins ...;
2000-09-15 wenzelm tentative fix while hunting gremlins ...;
2000-09-15 oheimb added new papers
2000-09-15 oheimb added mJava macro
2000-09-15 oheimb added new papers
2000-09-15 oheimb added mJava macro
2000-09-15 wenzelm isatool installfonts: -x option;
2000-09-15 wenzelm isabelle: -P option;
2000-09-15 wenzelm tuned msg;
2000-09-15 wenzelm system: isatool installfonts may handle X-Symbol fonts as well;
2000-09-15 wenzelm added latexsym (no longer loaded by isabellesym);
2000-09-15 wenzelm tuned init sequence;
2000-09-15 wenzelm ML_command: no_timing;
2000-09-15 wenzelm unexport exports;
2000-09-15 wenzelm added lparr, rparr;
2000-09-15 wenzelm fixed "sl" style;
2000-09-15 wenzelm support XSYMBOL_INSTALLFONTS as well;
2000-09-15 wenzelm #XSYMBOL_INSTALLFONTS;
2000-09-15 wenzelm -P option;
2000-09-15 paulson renamed the select rules
2000-09-15 paulson the final renaming: selectI -> someI
2000-09-15 paulson renamed (most of...) the select rules
2000-09-15 wenzelm fixed comment;
2000-09-15 wenzelm fixed name;
Loading...
(0) -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip