Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 10 Sep 2013 11:46:51 +0200 tuned signature;
changeset
wenzelm [Tue, 10 Sep 2013 11:46:51 +0200] rev 53497
tuned signature;
Tue, 10 Sep 2013 00:22:12 +0200 merged
changeset
wenzelm [Tue, 10 Sep 2013 00:22:12 +0200] rev 53496
merged
Tue, 10 Sep 2013 00:18:30 +0200 tuned proofs;
changeset
wenzelm [Tue, 10 Sep 2013 00:18:30 +0200] rev 53495
tuned proofs;
Mon, 09 Sep 2013 23:11:02 +0200 tuned proofs;
changeset
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
changeset
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
changeset
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
changeset
blanchet [Mon, 09 Sep 2013 23:09:37 +0200] rev 53491
more docs
Mon, 09 Sep 2013 20:24:15 +0200 merged
changeset
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;
changeset
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);
changeset
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);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
isabelle