Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+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 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;
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
+3000
+10000
tip