2012-03-26 wenzelm [Mon, 26 Mar 2012 19:18:03 +0200] rev 47120
disabled HOL-Proofs-Lambda temporarily, which causes problems with 2a1953f0d20d;
src/HOL/IsaMakefile

2012-03-26 kuncar [Mon, 26 Mar 2012 18:32:22 +0200] rev 47119
tuned comment
src/HOL/Quotient_Examples/Lift_Fun.thy

2012-03-26 kuncar [Mon, 26 Mar 2012 17:58:47 +0200] rev 47118
merged

2012-03-26 kuncar [Mon, 26 Mar 2012 15:33:28 +0200] rev 47117
merged
src/HOL/Tools/numeral_syntax.ML src/HOL/ex/Efficient_Nat_examples.thy

2012-03-26 kuncar [Mon, 26 Mar 2012 15:32:54 +0200] rev 47116
tuned proof - no smt call
src/HOL/Quotient_Examples/Lift_Fun.thy

2012-03-26 wenzelm [Mon, 26 Mar 2012 16:25:08 +0200] rev 47115
more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
Admin/build lib/Tools/java lib/Tools/scala lib/Tools/scalac lib/browser/build lib/scripts/getsettings src/Pure/build-jars src/Tools/JVM/java_ext_dirs src/Tools/jEdit/lib/Tools/jedit

2012-03-26 wenzelm [Mon, 26 Mar 2012 15:38:09 +0200] rev 47114
updated theory header syntax and related details;
doc-src/IsarRef/Thy/Outer_Syntax.thy doc-src/IsarRef/Thy/Spec.thy doc-src/IsarRef/Thy/document/Outer_Syntax.tex doc-src/IsarRef/Thy/document/Spec.tex

2012-03-24 wenzelm [Sat, 24 Mar 2012 20:24:16 +0100] rev 47113
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
update for prospective jdk1.7.x component;
Admin/java/README Admin/java/etc/settings NEWS etc/settings lib/Tools/java lib/browser/build src/Pure/System/gui_setup.scala src/Pure/System/isabelle_system.scala src/Pure/System/standard_system.scala src/Pure/build-jars src/Tools/JVM/java_ext_dirs src/Tools/jEdit/lib/Tools/jedit

2012-03-26 wenzelm [Mon, 26 Mar 2012 11:15:41 +0200] rev 47112
merged

2012-03-26 blanchet [Mon, 26 Mar 2012 11:01:04 +0200] rev 47111
reintroduced broken proofs and regenerated certificates
src/HOL/SMT_Examples/SMT_Examples.certs src/HOL/SMT_Examples/SMT_Examples.thy src/HOL/SMT_Examples/SMT_Tests.certs src/HOL/SMT_Examples/SMT_Tests.thy