Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Thu, 30 Jan 2014 16:40:31 +0100
centralized & repaired handling of bound variables in intermediate data structure (viva de Bruijn)
changeset
blanchet [Thu, 30 Jan 2014 16:40:31 +0100] rev 55185
centralized & repaired handling of bound variables in intermediate data structure (viva de Bruijn)
Thu, 30 Jan 2014 15:01:40 +0100
keep formula right before skolemization, because the universal variables might be different (or differently ordered) as in the original axiom or negated conjecture from which it was skolemized
changeset
blanchet [Thu, 30 Jan 2014 15:01:40 +0100] rev 55184
keep formula right before skolemization, because the universal variables might be different (or differently ordered) as in the original axiom or negated conjecture from which it was skolemized
Thu, 30 Jan 2014 14:37:53 +0100
renamed Sledgehammer options for symmetry between positive and negative versions
changeset
blanchet [Thu, 30 Jan 2014 14:37:53 +0100] rev 55183
renamed Sledgehammer options for symmetry between positive and negative versions
Thu, 30 Jan 2014 14:28:04 +0100
more robust w.r.t. exceptions raised by proof methods
changeset
blanchet [Thu, 30 Jan 2014 14:28:04 +0100] rev 55182
more robust w.r.t. exceptions raised by proof methods
Thu, 30 Jan 2014 14:24:10 +0100
tuning
changeset
blanchet [Thu, 30 Jan 2014 14:24:10 +0100] rev 55181
tuning
Thu, 30 Jan 2014 13:54:12 +0100
compile
changeset
blanchet [Thu, 30 Jan 2014 13:54:12 +0100] rev 55180
compile
Thu, 30 Jan 2014 13:39:57 +0100
tuning
changeset
blanchet [Thu, 30 Jan 2014 13:39:57 +0100] rev 55179
tuning
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
tip