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
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.
added automatic uniform stride option to Mirabelle
12 months ago, by desharna
fixed HOL-ex following a5bab59d580b
12 months ago, by desharna
added support for TFX $let to Sledgehammer's TPTP output
12 months ago, by desharna
merged
12 months ago, by desharna
fixed TFX generation when universal quantifier is used as term
12 months ago, by desharna
merged
12 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
tip