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.
tuned;
10 months ago, by wenzelm
clarified operations, following pretty_thm_name;
10 months ago, by wenzelm
more accurate treatment of Thm_Name.T;
10 months ago, by wenzelm
renamed lemmas
10 months ago, by desharna
merged
10 months ago, by desharna
renamed theorems
10 months ago, by desharna
renamed theorems
10 months ago, by desharna
add title;
10 months ago, by Fabian Huch
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
tip