wenzelm [Fri, 25 Jul 2014 16:50:49 +0200] rev 59026
some reshuffling of Poly/ML version to evade failing tests;
wenzelm [Fri, 25 Jul 2014 15:01:18 +0200] rev 59025
old 'defs' is legacy --- slightly odd side-entry that bypasses regular Local_Theory.define interface;
wenzelm [Fri, 25 Jul 2014 14:47:38 +0200] rev 59024
proper volume name, such that background image is found in /Volumes/Isabelle/.background;
wenzelm [Fri, 25 Jul 2014 14:16:39 +0200] rev 59023
tuned;
wenzelm [Fri, 25 Jul 2014 14:15:02 +0200] rev 59022
tuned message;
wenzelm [Fri, 25 Jul 2014 14:13:19 +0200] rev 59021
setup for drag-and-drop DMG;
blanchet [Fri, 25 Jul 2014 13:22:37 +0200] rev 59020
merge
blanchet [Fri, 25 Jul 2014 13:15:50 +0200] rev 59019
reordered provers
blanchet [Fri, 25 Jul 2014 12:22:18 +0200] rev 59018
compile
blanchet [Fri, 25 Jul 2014 12:20:48 +0200] rev 59017
faster minimization by not adding facts that are already in the simpset