Mercurial
Mercurial
>
hg
>
isabelle-cookbook
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-100
-15
+15
+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.
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
small changes
2009-03-23, by griff
typos
2009-03-23, by griff
again spell-checker on FirstSteps
2009-03-23, by griff
used spell checker on `FirstSteps' + small changes
2009-03-23, by griff
fixed `str_of_thms' output in example + small changes
2009-03-23, by griff
corrected typos + some small reformulations
2009-03-23, by griff
some polishing
2009-03-23, by Christian Urban
polishing to the theorem attributes section
2009-03-23, by Christian Urban
some polishing
2009-03-21, by Christian Urban
polished some recipies
2009-03-19, by Christian Urban
less
more
|
(0)
-100
-15
+15
+100
+300
tip