2009-02-26 wenzelm [Thu, 26 Feb 2009 20:56:59 +0100] rev 30122
standard headers;
eliminated non-ASCII chars, which are fragile in the age of unicode;
src/HOL/Decision_Procs/Approximation.thy src/HOL/Library/Float.thy src/HOL/RComplete.thy src/HOL/ex/ApproximationEx.thy

2009-02-26 wenzelm [Thu, 26 Feb 2009 20:55:47 +0100] rev 30121
updated generated files;
doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex doc-src/IsarAdvanced/Codegen/Thy/document/ML.tex doc-src/IsarAdvanced/Codegen/Thy/document/Program.tex doc-src/IsarAdvanced/Functions/Thy/document/Functions.tex doc-src/IsarImplementation/Thy/document/Integration.tex doc-src/IsarImplementation/Thy/document/Local_Theory.tex doc-src/IsarImplementation/Thy/document/Logic.tex doc-src/IsarImplementation/Thy/document/ML.tex doc-src/IsarImplementation/Thy/document/Prelim.tex doc-src/IsarImplementation/Thy/document/Proof.tex doc-src/IsarImplementation/Thy/document/Tactic.tex doc-src/IsarRef/Thy/document/Inner_Syntax.tex doc-src/IsarRef/Thy/document/Spec.tex

2009-02-26 wenzelm [Thu, 26 Feb 2009 20:44:07 +0100] rev 30120
uniform treatment of ML indexing, using general \indexdef macro for formal Isabelle/Isar entities;
more robust handling of "|" within index;
doc-src/IsarAdvanced/Codegen/style.sty doc-src/IsarAdvanced/Functions/style.sty doc-src/IsarImplementation/style.sty doc-src/IsarRef/style.sty doc-src/antiquote_setup.ML

2009-02-26 wenzelm [Thu, 26 Feb 2009 20:41:28 +0100] rev 30119
fixed import of ~~/src/HOL/Decision_Procs/Ferrack;
doc-src/IsarAdvanced/Codegen/Thy/Setup.thy

2009-02-26 wenzelm [Thu, 26 Feb 2009 20:09:14 +0100] rev 30118
more explicit indication of old manuals;
doc-src/Intro/intro.tex doc-src/Ref/ref.tex doc/Contents

2009-02-26 wenzelm [Thu, 26 Feb 2009 20:03:58 +0100] rev 30117
merged

2009-02-26 wenzelm [Thu, 26 Feb 2009 20:03:32 +0100] rev 30116
\bibliographystyle{abbrv} for newer ref manuals;
doc-src/IsarImplementation/implementation.tex doc-src/IsarRef/isar-ref.tex doc-src/System/system.tex

2009-02-26 wenzelm [Thu, 26 Feb 2009 20:01:56 +0100] rev 30115
added Haftmann-Wenzel:2009;
doc-src/manual.bib

2009-02-26 wenzelm [Thu, 26 Feb 2009 17:42:43 +0100] rev 30114
updated generated files;
doc-src/System/Thy/document/Presentation.tex

2009-02-26 wenzelm [Thu, 26 Feb 2009 17:42:36 +0100] rev 30113
isabelle document: adapted (postulated) defaults for tags to actual isabelle.sty;
doc-src/System/Thy/Presentation.thy