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.
clarified signature: more explicit type Platform_Context;
12 days ago, by wenzelm
added option -G to build GMP library from sources;
12 days ago, by wenzelm
Another Eberl lemma plus tidying
13 days ago, by paulson
Another of Manuel's theorems
13 days ago, by paulson
merged
13 days ago, by paulson
More of Manuel's material
13 days ago, by paulson
removed iprover from try0 because its name is clashing with iProver in Sledgehammer
13 days ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
tip