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
+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.
getting rid of apply (unfold ...)
22 months ago, by paulson
More syntactic cleanup. LaTeX markup working
22 months ago, by paulson
more modernisation of syntax
22 months ago, by paulson
Removal of obsolete ASCII syntax
22 months ago, by paulson
clarified options;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
22 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
tip