Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
removed iprover from try0 because its name is clashing with iProver in Sledgehammer
10 days ago, by desharna
expanded Sledgehammer's schedule (loosely inspired by "Hammering without ATPs" evaluation)
12 days ago, by desharna
added try0's schedule to sledgehammer's schedule
12 days ago, by desharna
clarified signature
12 days ago, by desharna
clarified variable names
12 days ago, by haftmann
tuned
12 days ago, by haftmann
use existing implementations of bit operations if nat is implemented by target-language integer
12 days ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
tip