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
+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.
NEWS
17 months ago, by nipkow
merged
17 months ago, by Peter Lammich
summarized structural and ordering invariant for trees
17 months ago, by Peter Lammich
Total correctness examples by Walter Guttmann
17 months ago, by nipkow
Extension of session HOL/Hoare with total correctness proof system by Walter Guttmann
17 months ago, by nipkow
tuned
17 months ago, by nipkow
Highlight that 'intro_locales' and 'trace_locales' are useful debug features, plus minor clarifications.
17 months ago, by ballarin
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
tip