1997-04-07 wenzelm [Mon, 07 Apr 1997 14:53:08 +0200] rev 2918
added -t (run tests) option;
build

1997-04-04 wenzelm [Fri, 04 Apr 1997 19:11:19 +0200] rev 2917
added -g, -h options;
replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS;
lib/Tools/usedir

1997-04-04 wenzelm [Fri, 04 Apr 1997 19:10:22 +0200] rev 2916
tuned xdvi invocation;
lib/Tools/doc

1997-04-04 wenzelm [Fri, 04 Apr 1997 19:09:21 +0200] rev 2915
replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS;
etc/settings

1997-04-04 wenzelm [Fri, 04 Apr 1997 19:08:35 +0200] rev 2914
improved messages;
build

1997-04-04 wenzelm [Fri, 04 Apr 1997 19:07:54 +0200] rev 2913
fixed diagnostic output of print modes;
src/Pure/Syntax/printer.ML src/Pure/Syntax/symbol_font.ML src/Pure/Syntax/syn_ext.ML src/Pure/Syntax/syntax.ML

1997-04-04 nipkow [Fri, 04 Apr 1997 16:33:28 +0200] rev 2912
moved inj and surj from Set to Fun and Inv -> inv.
src/HOL/Fun.ML src/HOL/Fun.thy src/HOL/HOL.thy src/HOL/Set.ML src/HOL/Set.thy src/HOL/equalities.ML

1997-04-04 nipkow [Fri, 04 Apr 1997 16:27:39 +0200] rev 2911
Inv -> inv
src/HOL/ex/LList.ML src/HOL/ex/LList.thy src/HOL/ex/SList.ML src/HOL/ex/SList.thy src/HOL/ex/Simult.ML src/HOL/ex/Simult.thy src/HOL/ex/Term.ML src/HOL/ex/Term.thy src/HOL/ex/set.ML

1997-04-04 slotosch [Fri, 04 Apr 1997 16:16:35 +0200] rev 2910
*** empty log message ***
src/HOL/Quot/FRACT.thy src/HOL/Quot/README

1997-04-04 slotosch [Fri, 04 Apr 1997 16:04:28 +0200] rev 2909
Added Example Quot
CVS ----------------------------------------------------------------------
src/HOL/IsaMakefile