2011-05-01 wenzelm [Sun, 01 May 2011 16:36:34 +0200] rev 42511
eliminated copies of isabelle style files;
doc-src/Classes/Makefile doc-src/Classes/classes.tex doc-src/Codegen/Makefile doc-src/Codegen/codegen.tex doc-src/Functions/Makefile doc-src/Functions/functions.tex doc-src/IsarImplementation/Makefile doc-src/IsarImplementation/implementation.tex doc-src/IsarOverview/Isar/document/root.tex doc-src/IsarRef/Makefile doc-src/IsarRef/isar-ref.tex doc-src/LaTeXsugar/Makefile doc-src/LaTeXsugar/Sugar/document/root.tex doc-src/Locales/Locales/document/root.tex doc-src/Locales/Makefile doc-src/Main/Makefile doc-src/Main/main.tex doc-src/Nitpick/nitpick.tex doc-src/Sledgehammer/sledgehammer.tex doc-src/System/system.tex doc-src/TutorialI/Makefile doc-src/TutorialI/tutorial.tex doc-src/ZF/Makefile doc-src/ZF/logics-ZF.tex doc-src/isabelle.sty doc-src/isabellesym.sty

2011-05-01 wenzelm [Sun, 01 May 2011 00:01:59 +0200] rev 42510
use @{rail} antiquotation (with some nested markup);
eliminated separate rail/latex phase;
doc-src/IsarImplementation/Makefile doc-src/IsarImplementation/Thy/Logic.thy doc-src/IsarImplementation/Thy/ML.thy doc-src/IsarImplementation/Thy/Prelim.thy doc-src/IsarImplementation/Thy/Syntax.thy 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/Syntax.tex

2011-04-30 wenzelm [Sat, 30 Apr 2011 23:27:57 +0200] rev 42509
updated Variable.focus;
doc-src/IsarImplementation/Thy/Proof.thy doc-src/IsarImplementation/Thy/document/Proof.tex

2011-04-30 wenzelm [Sat, 30 Apr 2011 23:20:50 +0200] rev 42508
allow nested @{antiq} (nonterminal) and @@{antiq} terminal;
src/Pure/General/antiquote.ML src/Pure/Thy/rail.ML src/Pure/Thy/thy_output.ML

2011-04-30 wenzelm [Sat, 30 Apr 2011 20:58:36 +0200] rev 42507
tuned;
src/Pure/Thy/rail.ML

2011-04-30 wenzelm [Sat, 30 Apr 2011 20:48:29 +0200] rev 42506
more robust error handling (NB: Source.source requires total scanner or recover);
tuned;
src/Pure/Thy/rail.ML

2011-04-30 wenzelm [Sat, 30 Apr 2011 20:07:31 +0200] rev 42505
removed old rail.ML;
doc-src/rail.ML

2011-04-30 wenzelm [Sat, 30 Apr 2011 19:50:39 +0200] rev 42504
railroad diagrams in LaTeX as document antiquotation;
src/Pure/IsaMakefile src/Pure/ROOT.ML src/Pure/Thy/rail.ML

2011-04-30 wenzelm [Sat, 30 Apr 2011 18:16:40 +0200] rev 42503
more uniform variations of scan_string;
src/Pure/General/antiquote.ML src/Pure/General/symbol_pos.ML src/Pure/Isar/token.ML

2011-04-28 wenzelm [Thu, 28 Apr 2011 21:06:04 +0200] rev 42502
literal facts `prop` may contain dummy patterns;
NEWS src/Pure/Isar/proof_context.ML