Tue, 10 Sep 2013 00:18:30 +0200 tuned proofs;
wenzelm [Tue, 10 Sep 2013 00:18:30 +0200] rev 53495
tuned proofs;
Mon, 09 Sep 2013 23:11:02 +0200 tuned proofs;
wenzelm [Mon, 09 Sep 2013 23:11:02 +0200] rev 53494
tuned proofs;
Mon, 09 Sep 2013 23:55:35 +0200 make facts like "mem_Collect_eq" more likely to be picked up by few-fact slices
blanchet [Mon, 09 Sep 2013 23:55:35 +0200] rev 53493
make facts like "mem_Collect_eq" more likely to be picked up by few-fact slices
Mon, 09 Sep 2013 23:54:59 +0200 since "full_proofs" can influence the proof search significantly (e.g. by disabling splitting for SPASS), it shouldn't be affected by the "debug" flag in the interest of minimizing confusion
blanchet [Mon, 09 Sep 2013 23:54:59 +0200] rev 53492
since "full_proofs" can influence the proof search significantly (e.g. by disabling splitting for SPASS), it shouldn't be affected by the "debug" flag in the interest of minimizing confusion
Mon, 09 Sep 2013 23:09:37 +0200 more docs
blanchet [Mon, 09 Sep 2013 23:09:37 +0200] rev 53491
more docs
Mon, 09 Sep 2013 20:24:15 +0200 merged
wenzelm [Mon, 09 Sep 2013 20:24:15 +0200] rev 53490
merged
Mon, 09 Sep 2013 17:28:08 +0200 proper apple.awt.application.name for Java 7;
wenzelm [Mon, 09 Sep 2013 17:28:08 +0200] rev 53489
proper apple.awt.application.name for Java 7;
Mon, 09 Sep 2013 17:02:06 +0200 generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm [Mon, 09 Sep 2013 17:02:06 +0200] rev 53488
generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
Mon, 09 Sep 2013 16:15:48 +0200 more robust Mac OS X application support;
wenzelm [Mon, 09 Sep 2013 16:15:48 +0200] rev 53487
more robust Mac OS X application support;
Mon, 09 Sep 2013 15:53:02 +0200 use polyml-5.5.1 (SVN), to increase chances of stability of this test;
wenzelm [Mon, 09 Sep 2013 15:53:02 +0200] rev 53486
use polyml-5.5.1 (SVN), to increase chances of stability of this test;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip