2010-08-11 wenzelm [Wed, 11 Aug 2010 22:41:26 +0200] rev 38355
represent document ids by (long) int, to benefit from the somewhat faster Inttab in ML (LinearSet in Scala is invariably indexed by native object ids);
src/Pure/General/markup.scala src/Pure/General/position.scala src/Pure/General/xml_data.scala src/Pure/Isar/isar_document.ML src/Pure/Isar/isar_document.scala src/Pure/PIDE/command.scala src/Pure/PIDE/document.ML src/Pure/PIDE/document.scala src/Pure/System/session.scala

2010-08-11 wenzelm [Wed, 11 Aug 2010 18:44:06 +0200] rev 38354
Named_Target;
doc-src/IsarImplementation/Thy/Local_Theory.thy doc-src/IsarImplementation/Thy/document/Local_Theory.tex

2010-08-11 wenzelm [Wed, 11 Aug 2010 18:41:06 +0200] rev 38353
modernized specifications;
tuned headers;
src/HOL/Hoare/Arith2.thy src/HOL/Hoare/Heap.thy src/HOL/Hoare/Hoare_Logic.thy src/HOL/Hoare/Pointer_Examples.thy src/HOL/Hoare/Pointer_ExamplesAbort.thy src/HOL/Hoare/Pointers0.thy src/HOL/Hoare/README.html src/HOL/Hoare/SchorrWaite.thy src/HOL/Hoare/SepLogHeap.thy src/HOL/Hoare/Separation.thy

2010-08-11 wenzelm [Wed, 11 Aug 2010 18:22:14 +0200] rev 38352
spelling;
src/Pure/Isar/class.ML

2010-08-11 wenzelm [Wed, 11 Aug 2010 18:17:53 +0200] rev 38351
merged
src/Pure/Isar/toplevel.ML

2010-08-11 haftmann [Wed, 11 Aug 2010 14:45:38 +0200] rev 38350
renamed Theory_Target to the more appropriate Named_Target
src/HOL/Statespace/state_space.ML src/HOL/Tools/inductive.ML src/HOL/Tools/primrec.ML src/HOL/Tools/typedef.ML src/Pure/IsaMakefile src/Pure/Isar/class.ML src/Pure/Isar/expression.ML src/Pure/Isar/isar_syn.ML src/Pure/Isar/named_target.ML src/Pure/Isar/specification.ML src/Pure/Isar/theory_target.ML src/Pure/Isar/toplevel.ML src/Pure/Isar/typedecl.ML src/Pure/ROOT.ML src/Tools/quickcheck.ML

2010-08-11 haftmann [Wed, 11 Aug 2010 14:41:16 +0200] rev 38349
discontinue old implementation of `foundation`
src/Pure/Isar/theory_target.ML

2010-08-11 haftmann [Wed, 11 Aug 2010 14:31:43 +0200] rev 38348
moved instantiation target formally to class_target.ML
src/HOL/Code_Evaluation.thy src/HOL/Tools/Datatype/datatype_codegen.ML src/HOL/Tools/Function/size.ML src/HOL/Tools/quickcheck_generators.ML src/HOL/Tools/typecopy.ML src/HOL/Typerep.thy src/HOLCF/Tools/pcpodef.ML src/HOLCF/Tools/repdef.ML src/Pure/Isar/class_target.ML src/Pure/Isar/isar_syn.ML src/Pure/Isar/theory_target.ML

2010-08-11 haftmann [Wed, 11 Aug 2010 14:31:40 +0200] rev 38347
NEWS
NEWS

2010-08-11 haftmann [Wed, 11 Aug 2010 14:20:34 +0200] rev 38346
merged