2011-11-27 wenzelm [Sun, 27 Nov 2011 13:12:42 +0100] rev 45646
refined "literal" document style, with some correspondence to actual text source;
doc-src/IsarImplementation/style.sty doc-src/IsarRef/style.sty lib/texinputs/isabelle.sty

2011-11-27 wenzelm [Sun, 27 Nov 2011 12:52:52 +0100] rev 45645
modernized section about congruence rules;
doc-src/IsarRef/Thy/Generic.thy doc-src/IsarRef/Thy/document/Generic.tex doc-src/Ref/simplifier.tex

2011-11-26 wenzelm [Sat, 26 Nov 2011 17:10:03 +0100] rev 45644
sharing of token source with span source;
src/Pure/PIDE/command.scala src/Pure/Thy/thy_syntax.scala

2011-11-26 wenzelm [Sat, 26 Nov 2011 14:14:51 +0100] rev 45643
memoing of forked proofs;
src/Pure/global_theory.ML

2011-11-26 wenzelm [Sat, 26 Nov 2011 13:10:12 +0100] rev 45642
tuned;
src/Pure/Concurrent/task_queue.ML

2011-11-25 wenzelm [Fri, 25 Nov 2011 23:04:12 +0100] rev 45641
removed obsolete argument (cf. 954e9d6782ea);
src/Pure/Syntax/parser.ML src/Pure/Syntax/syntax.ML src/Pure/Syntax/syntax_phases.ML

2011-11-25 wenzelm [Fri, 25 Nov 2011 22:21:37 +0100] rev 45640
merged

2011-11-25 krauss [Fri, 25 Nov 2011 19:07:26 +0100] rev 45639
removed obsolete uses of Local_Theory.restore -- package composition P1 #> P2 no longer requires them due to 57def0b39696: P2 finds the results of P1 in the auxiliary context
src/HOL/Tools/Function/fun.ML src/HOL/Tools/Quickcheck/quickcheck_common.ML

2011-11-25 nipkow [Fri, 25 Nov 2011 12:18:39 +0100] rev 45638
merged

2011-11-25 nipkow [Fri, 25 Nov 2011 12:18:33 +0100] rev 45637
tuned
src/HOL/IMP/Compiler.thy