wenzelm [Fri, 17 Aug 2012 11:18:26 +0200] rev 48833
updates on 32 bit vs. 64 bit platforms;
added Mountain Lion;
dropped Leopard;
tuned;
wenzelm [Fri, 17 Aug 2012 10:46:42 +0200] rev 48832
updated to jedit_build-20120813, pointing to another contrib directory as a change;
wenzelm [Thu, 16 Aug 2012 17:19:48 +0200] rev 48831
merged
wenzelm [Thu, 16 Aug 2012 17:16:20 +0200] rev 48830
tuned proofs;
blanchet [Thu, 16 Aug 2012 15:41:36 +0200] rev 48829
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 48828
prefer eta-expanded code equations for fold, to accomodate tail recursion optimisation in Scala
wenzelm [Thu, 16 Aug 2012 15:40:26 +0200] rev 48827
more robust multi-platform support;
wenzelm [Thu, 16 Aug 2012 14:25:58 +0200] rev 48826
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 48825
support for jdk-7u6 component;
ballarin [Wed, 15 Aug 2012 23:06:17 +0200] rev 48824
Clarification: free variables allowed in interpreted locale instances.