2010-08-14 wenzelm [Sat, 14 Aug 2010 21:25:20 +0200] rev 38413
Keyword.status: always suppress position;
src/Pure/Isar/keyword.ML src/Pure/System/session.scala

2010-08-14 wenzelm [Sat, 14 Aug 2010 18:43:45 +0200] rev 38412
moved isar_document.ML/scala to Pure/System/ -- side-by-side with isar.ML;
src/Pure/IsaMakefile src/Pure/Isar/isar_document.ML src/Pure/Isar/isar_document.scala src/Pure/ROOT.ML src/Pure/System/isar_document.ML src/Pure/System/isar_document.scala src/Pure/build-jars

2010-08-14 wenzelm [Sat, 14 Aug 2010 13:24:06 +0200] rev 38411
merged
src/Pure/PIDE/state.scala

2010-08-13 haftmann [Fri, 13 Aug 2010 16:40:47 +0200] rev 38410
robustified proof
src/HOL/Imperative_HOL/ex/Linked_Lists.thy

2010-08-13 haftmann [Fri, 13 Aug 2010 14:45:07 +0200] rev 38409
lemma execute_bind_case
src/HOL/Imperative_HOL/Heap_Monad.thy

2010-08-13 haftmann [Fri, 13 Aug 2010 14:43:16 +0200] rev 38408
unit and bool are instances of heap
src/HOL/Imperative_HOL/Heap.thy

2010-08-13 haftmann [Fri, 13 Aug 2010 14:41:27 +0200] rev 38407
merged
doc-src/Codegen/Thy/ML.thy doc-src/Codegen/Thy/Program.thy doc-src/Codegen/Thy/document/ML.tex doc-src/Codegen/Thy/document/Program.tex

2010-08-13 haftmann [Fri, 13 Aug 2010 14:41:12 +0200] rev 38406
sketch of new outline
doc-src/Codegen/Thy/document/Foundations.tex doc-src/Codegen/Thy/document/ML.tex doc-src/Codegen/Thy/document/Program.tex doc-src/Codegen/Thy/document/Refinement.tex

2010-08-13 haftmann [Fri, 13 Aug 2010 14:40:15 +0200] rev 38405
sketch of new outline
doc-src/Codegen/Thy/Foundations.thy doc-src/Codegen/Thy/Further.thy doc-src/Codegen/Thy/Inductive_Predicate.thy doc-src/Codegen/Thy/Introduction.thy doc-src/Codegen/Thy/ML.thy doc-src/Codegen/Thy/Program.thy doc-src/Codegen/Thy/ROOT.ML doc-src/Codegen/Thy/Refinement.thy doc-src/Codegen/Thy/document/Further.tex doc-src/Codegen/Thy/document/Inductive_Predicate.tex doc-src/Codegen/Thy/document/Introduction.tex doc-src/Codegen/codegen.tex

2010-08-13 haftmann [Fri, 13 Aug 2010 13:43:55 +0200] rev 38404
ditem
doc-src/Codegen/style.sty