isabelle: Changelog

oheimb [Fri, 15 Sep 2000 18:14:17 +0200] rev 9985

added mJava macro

wenzelm [Fri, 15 Sep 2000 16:55:20 +0200] rev 9984

isatool installfonts: -x option;

wenzelm [Fri, 15 Sep 2000 16:54:26 +0200] rev 9983

isabelle: -P option;

wenzelm [Fri, 15 Sep 2000 16:53:41 +0200] rev 9982

tuned msg;

wenzelm [Fri, 15 Sep 2000 16:46:15 +0200] rev 9981

system: isatool installfonts may handle X-Symbol fonts as well;

wenzelm [Fri, 15 Sep 2000 16:44:57 +0200] rev 9980

added latexsym (no longer loaded by isabellesym);

wenzelm [Fri, 15 Sep 2000 16:40:20 +0200] rev 9979

tuned init sequence;

wenzelm [Fri, 15 Sep 2000 16:38:15 +0200] rev 9978

ML_command: no_timing;

wenzelm [Fri, 15 Sep 2000 16:31:36 +0200] rev 9977

unexport exports;

wenzelm [Fri, 15 Sep 2000 16:31:00 +0200] rev 9976

added lparr, rparr; tuned some symbols;

isabelle