Fri, 20 Apr 2018 15:40:21 +0200 updated to postgresql-42.2.2, with more smooth support for Java 9/10;
wenzelm [Fri, 20 Apr 2018 15:40:21 +0200] rev 68015
updated to postgresql-42.2.2, with more smooth support for Java 9/10;
Fri, 20 Apr 2018 11:44:09 +0200 minimal Java source version for jdk-10.0.1;
wenzelm [Fri, 20 Apr 2018 11:44:09 +0200] rev 68014
minimal Java source version for jdk-10.0.1;
Fri, 20 Apr 2018 11:41:09 +0200 workaround for jdk-10.0.1;
wenzelm [Fri, 20 Apr 2018 11:41:09 +0200] rev 68013
workaround for jdk-10.0.1;
Fri, 20 Apr 2018 11:34:12 +0200 more robust, notably for jdk-10.0.1 where jre is absent;
wenzelm [Fri, 20 Apr 2018 11:34:12 +0200] rev 68012
more robust, notably for jdk-10.0.1 where jre is absent;
Fri, 20 Apr 2018 07:36:59 +0000 moved lemma to more appropriate place
haftmann [Fri, 20 Apr 2018 07:36:59 +0000] rev 68011
moved lemma to more appropriate place
Fri, 20 Apr 2018 07:36:58 +0000 algebraic embeddings for bit operations
haftmann [Fri, 20 Apr 2018 07:36:58 +0000] rev 68010
algebraic embeddings for bit operations
Thu, 19 Apr 2018 21:54:46 +0200 updated to jdk-8u172;
wenzelm [Thu, 19 Apr 2018 21:54:46 +0200] rev 68009
updated to jdk-8u172;
Thu, 19 Apr 2018 21:26:44 +0200 merged
wenzelm [Thu, 19 Apr 2018 21:26:44 +0200] rev 68008
merged
Thu, 19 Apr 2018 21:14:52 +0200 updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity;
wenzelm [Thu, 19 Apr 2018 21:14:52 +0200] rev 68007
updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity;
Thu, 19 Apr 2018 16:10:06 +0100 tuning of a proof
paulson <lp15@cam.ac.uk> [Thu, 19 Apr 2018 16:10:06 +0100] rev 68006
tuning of a proof
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip