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
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Wed, 06 Jun 2012 10:35:05 +0200
use cover for "poly_guards" encoding
changeset
blanchet [Wed, 06 Jun 2012 10:35:05 +0200] rev 48080
use cover for "poly_guards" encoding
Wed, 06 Jun 2012 10:35:05 +0200
hack to make LEO-II perform better on TPTP THF problems
changeset
blanchet [Wed, 06 Jun 2012 10:35:05 +0200] rev 48079
hack to make LEO-II perform better on TPTP THF problems
Wed, 06 Jun 2012 10:35:05 +0200
swap adjectives (cf. Google)
changeset
blanchet [Wed, 06 Jun 2012 10:35:05 +0200] rev 48078
swap adjectives (cf. Google)
Wed, 06 Jun 2012 10:35:05 +0200
tweaked remote Vampire version
changeset
blanchet [Wed, 06 Jun 2012 10:35:05 +0200] rev 48077
tweaked remote Vampire version
Wed, 06 Jun 2012 10:35:05 +0200
don't cripple Sledgehammer/ATP needlessly just because of "metis" -- there's also "smt" as a fallback anyway
changeset
blanchet [Wed, 06 Jun 2012 10:35:05 +0200] rev 48076
don't cripple Sledgehammer/ATP needlessly just because of "metis" -- there's also "smt" as a fallback anyway
Tue, 05 Jun 2012 10:12:54 +0200
apply preprocessing simpset also to rhs of abstract code equations
changeset
haftmann [Tue, 05 Jun 2012 10:12:54 +0200] rev 48075
apply preprocessing simpset also to rhs of abstract code equations
Tue, 05 Jun 2012 07:11:49 +0200
clarified code translation code
changeset
haftmann [Tue, 05 Jun 2012 07:11:49 +0200] rev 48074
clarified code translation code
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip