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
-6
+6
+10
+30
+100
+300
+1000
+3000
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 cosmetic changes
17 months ago, by paulson
Cosmetic polishing of proofs
17 months ago, by paulson
remove debug printing
17 months ago, by Mathias Fleury
merged
17 months ago, by nipkow
added mbox-like latex sugar
17 months ago, by nipkow
Added tag Isabelle2023-RC2 for changeset 53b59fa42696
17 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
tip