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;
Mon, 09 Sep 2013 14:48:16 +0200 override potential changes in $ISABELLE_HOME_USER/etc/settings;
wenzelm [Mon, 09 Sep 2013 14:48:16 +0200] rev 53485
override potential changes in $ISABELLE_HOME_USER/etc/settings;
Mon, 09 Sep 2013 14:22:39 +0200 generate application ini 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 14:22:39 +0200] rev 53484
generate application ini 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 13:48:06 +0200 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm [Mon, 09 Sep 2013 13:48:06 +0200] rev 53483
generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip