wenzelm [Fri, 17 Aug 2012 11:20:18 +0200] rev 49849
updated component repository;
wenzelm [Fri, 17 Aug 2012 11:18:26 +0200] rev 49848
updates on 32 bit vs. 64 bit platforms;
added Mountain Lion;
dropped Leopard;
tuned;
wenzelm [Fri, 17 Aug 2012 10:46:42 +0200] rev 49847
updated to jedit_build-20120813, pointing to another contrib directory as a change;
wenzelm [Thu, 16 Aug 2012 17:19:48 +0200] rev 49846
merged
wenzelm [Thu, 16 Aug 2012 17:16:20 +0200] rev 49845
tuned proofs;
blanchet [Thu, 16 Aug 2012 15:41:36 +0200] rev 49844
look in current directory first before looking up includes in the TPTP directory, as required by Geoff
haftmann [Thu, 16 Aug 2012 14:07:32 +0200] rev 49843
prefer eta-expanded code equations for fold, to accomodate tail recursion optimisation in Scala
wenzelm [Thu, 16 Aug 2012 15:40:26 +0200] rev 49842
more robust multi-platform support;
wenzelm [Thu, 16 Aug 2012 14:25:58 +0200] rev 49841
updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;
wenzelm [Thu, 16 Aug 2012 14:05:50 +0200] rev 49840
support for jdk-7u6 component;