2013-09-05 wenzelm [Thu, 05 Sep 2013 16:03:44 +0200] rev 53417
updated to jdk-7u25;
less redundant directory structure;
Admin/components/components.sha1 Admin/components/main Admin/java/build

2013-09-05 wenzelm [Thu, 05 Sep 2013 13:09:31 +0200] rev 53416
support only one scala version;
tuned;
Admin/Release/CHECKLIST

2013-09-05 wenzelm [Thu, 05 Sep 2013 12:33:51 +0200] rev 53415
updated to jedit_build-20130905 which is based on jedit-5.1.0;
added jsr305-2.0.0.jar from http://code.google.com/p/findbugs (via ivy cache), which is required to resolve javax.annotation.*;
Admin/components/components.sha1 Admin/components/main src/Tools/jEdit/lib/Tools/jedit src/Tools/jEdit/patches/jedit/annotation src/Tools/jEdit/patches/jedit/brackets src/Tools/jEdit/patches/jedit/completion src/Tools/jEdit/patches/jedit/extended_styles src/Tools/jEdit/patches/jedit/macos

2013-09-05 haftmann [Thu, 05 Sep 2013 18:05:03 +0200] rev 53414
explicit module names have precedence over identifier declarations
src/Tools/Code/code_namespace.ML

2013-09-05 haftmann [Thu, 05 Sep 2013 18:05:02 +0200] rev 53413
check explicit module names for conformity
src/Tools/Code/code_target.ML

2013-09-05 traytel [Thu, 05 Sep 2013 11:10:51 +0200] rev 53412
list_to_set_comprehension: don't crash in case distinctions on datatypes with even number of constructors
src/HOL/List.thy

2013-09-05 panny [Thu, 05 Sep 2013 01:58:48 +0200] rev 53411
support indirect corecursion
src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML src/HOL/BNF/Tools/bnf_fp_rec_sugar_util.ML

2013-09-04 wenzelm [Wed, 04 Sep 2013 23:57:38 +0200] rev 53410
tuned proofs;
src/HOL/Multivariate_Analysis/Integration.thy

2013-09-04 wenzelm [Wed, 04 Sep 2013 22:37:19 +0200] rev 53409
tuned proofs;
src/HOL/Multivariate_Analysis/Integration.thy

2013-09-04 wenzelm [Wed, 04 Sep 2013 21:25:03 +0200] rev 53408
tuned proofs;
src/HOL/Multivariate_Analysis/Integration.thy