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
-8
+8
+10
+30
+100
+300
+1000
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.
More tidying of old proofs
12 months ago, by paulson
merged
12 months ago, by paulson
More tidying and removal of "apply"
12 months ago, by paulson
Add subgoals variant of 'sketch' command
12 months ago, by Simon Wimmer
merged
12 months ago, by paulson
Tidied some messy proofs
12 months ago, by paulson
prefer canonical theorem name for fact collection declarations
12 months ago, by haftmann
merged
12 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
tip