2010-05-26 haftmann [Wed, 26 May 2010 16:31:44 +0200] rev 37139
dropped legacy theorem bindings
src/HOL/MicroJava/J/Conform.thy src/HOL/Modelcheck/MuckeSyn.thy

2010-05-26 haftmann [Wed, 26 May 2010 16:28:55 +0200] rev 37138
dropped legacy theorem bindings
src/HOL/Bali/AxExample.thy src/HOL/Hoare/hoare_tac.ML

2010-05-26 haftmann [Wed, 26 May 2010 16:17:30 +0200] rev 37137
dropped legacy theorem bindings
src/HOL/Nominal/nominal_induct.ML

2010-05-26 haftmann [Wed, 26 May 2010 16:05:25 +0200] rev 37136
dropped legacy theorem bindings
src/HOL/Hoare_Parallel/OG_Tactics.thy src/HOL/Product_Type.thy src/HOL/Tools/Datatype/datatype_realizer.ML src/HOL/Tools/TFL/rules.ML src/HOL/Tools/inductive_realizer.ML src/HOL/Tools/inductive_set.ML src/HOL/Tools/quickcheck_generators.ML src/HOL/Tools/record.ML

2010-05-26 haftmann [Wed, 26 May 2010 16:05:25 +0200] rev 37135
normalized references to constant "split"
src/HOL/Hoare/hoare_tac.ML src/HOL/Modelcheck/mucke_oracle.ML src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML src/HOL/Tools/Predicate_Compile/predicate_compile_fun.ML src/HOL/Tools/Quotient/quotient_term.ML src/HOL/Tools/TFL/usyntax.ML

2010-05-26 ballarin [Wed, 26 May 2010 21:20:18 +0200] rev 37134
Revise locale test theory layout.
src/FOL/IsaMakefile src/FOL/ex/LocaleTest.thy src/FOL/ex/Locale_Test/Locale_Test.thy src/FOL/ex/Locale_Test/Locale_Test1.thy src/FOL/ex/Locale_Test/Locale_Test2.thy src/FOL/ex/Locale_Test/Locale_Test3.thy src/FOL/ex/ROOT.ML

2010-05-26 ballarin [Wed, 26 May 2010 21:20:18 +0200] rev 37133
Merge mixins of distinct interpretations with same base.
src/Pure/Isar/locale.ML

2010-05-27 wenzelm [Thu, 27 May 2010 12:35:40 +0200] rev 37132
indicate prospective properties;
src/Pure/System/isabelle_process.scala src/Pure/System/isabelle_system.scala src/Pure/System/session.scala src/Tools/jEdit/src/jedit/document_model.scala src/Tools/jEdit/src/jedit/document_view.scala src/Tools/jEdit/src/jedit/output_dockable.scala

2010-05-27 wenzelm [Thu, 27 May 2010 12:34:30 +0200] rev 37131
clarified auto_update vs. update;
tuned;
src/Tools/jEdit/src/jedit/output_dockable.scala

2010-05-27 wenzelm [Thu, 27 May 2010 12:03:59 +0200] rev 37130
more reactive message handling, notably for follow_caret mode;
misc tuning and clarification;
src/Tools/jEdit/src/jedit/output_dockable.scala