Mercurial
Mercurial
>
hg
>
isabelle-cookbook
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-100
-30
-10
-7
+7
+10
+30
+100
+300
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.
some polishing
2009-03-24, by Christian Urban
added a keyword file, but needs to re-generated whenever something changes with keywords in Isabelle
2009-03-24, by Christian Urban
added infrastructure to generate the keyword file for simple_inductive
2009-03-24, by Christian Urban
merged
2009-03-23, by Christian Urban
merged
2009-03-23, by Christian Urban
tiny changes
2009-03-23, by griff
passive of `build' = `built'
2009-03-23, by griff
less
more
|
(0)
-100
-30
-10
-7
+7
+10
+30
+100
+300
tip