1999-10-31 wenzelm [Sun, 31 Oct 1999 20:11:23 +0100] rev 7990 Isabelle99
updated;
doc-src/IsarRef/generic.tex doc-src/IsarRef/hol.tex doc-src/Ref/classical.tex doc-src/Ref/goals.tex doc-src/Ref/introduction.tex doc-src/Ref/simplifier.tex

1999-10-31 wenzelm [Sun, 31 Oct 1999 15:26:37 +0100] rev 7989
updated;
doc-src/manual.bib

1999-10-31 wenzelm [Sun, 31 Oct 1999 15:25:55 +0100] rev 7988
tuned;
doc-src/IsarRef/isar-ref.tex doc-src/IsarRef/pure.tex

1999-10-31 wenzelm [Sun, 31 Oct 1999 15:20:35 +0100] rev 7987
tuned;
doc-src/IsarRef/generic.tex doc-src/IsarRef/hol.tex doc-src/IsarRef/intro.tex doc-src/IsarRef/pure.tex doc-src/IsarRef/refcard.tex

1999-10-30 wenzelm [Sat, 30 Oct 1999 20:41:30 +0200] rev 7986
Isabelle99;
NEWS

1999-10-30 wenzelm [Sat, 30 Oct 1999 20:39:01 +0200] rev 7985
fixed deps;
src/HOL/IsaMakefile

1999-10-30 wenzelm [Sat, 30 Oct 1999 20:32:04 +0200] rev 7984
tuned;
src/HOL/Real/HahnBanach/document/bbb.sty src/HOL/Real/HahnBanach/document/notation.tex src/HOL/Real/HahnBanach/document/root.tex

1999-10-30 wenzelm [Sat, 30 Oct 1999 20:21:46 +0200] rev 7983
tuned;
src/HOL/README.html

1999-10-30 wenzelm [Sat, 30 Oct 1999 20:20:48 +0200] rev 7982
improved presentation;
src/HOL/Isar_examples/BasicLogic.thy src/HOL/Isar_examples/Cantor.thy src/HOL/Isar_examples/ExprCompiler.thy src/HOL/Isar_examples/Group.thy src/HOL/Isar_examples/KnasterTarski.thy src/HOL/Isar_examples/MultisetOrder.thy src/HOL/Isar_examples/Peirce.thy src/HOL/Isar_examples/Summation.thy src/HOL/Isar_examples/W_correct.thy src/HOL/Isar_examples/document/style.tex

1999-10-30 wenzelm [Sat, 30 Oct 1999 20:13:16 +0200] rev 7981
tuned;
doc-src/IsarRef/basics.tex doc-src/IsarRef/generic.tex doc-src/IsarRef/intro.tex doc-src/IsarRef/isar-ref.tex doc-src/IsarRef/pure.tex doc-src/IsarRef/refcard.tex doc-src/IsarRef/syntax.tex