huffman [Thu, 29 Mar 2012 11:47:30 +0200] rev 48062
bootstrap Num.thy before Power.thy;
move lemmas about powers into Power.thy
haftmann [Thu, 29 Mar 2012 08:59:56 +0200] rev 48061
educated guess to include jdk
nipkow [Wed, 28 Mar 2012 17:57:23 +0200] rev 48060
improved robustness with new antiquoation by Makarius
nipkow [Wed, 28 Mar 2012 16:12:17 +0200] rev 48059
merged
nipkow [Wed, 28 Mar 2012 16:12:10 +0200] rev 48058
updates
bulwahn [Wed, 28 Mar 2012 14:54:33 +0200] rev 48057
updated documentation files (cf. c14fda8fee38)
wenzelm [Wed, 28 Mar 2012 13:53:30 +0200] rev 48056
clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME;
clarified jEdit/README_BUILD;
wenzelm [Wed, 28 Mar 2012 13:38:56 +0200] rev 48055
merged
wenzelm [Wed, 28 Mar 2012 12:08:08 +0200] rev 48054
simplified statements and proofs;
wenzelm [Wed, 28 Mar 2012 11:46:14 +0200] rev 48053
tuned whitespace;