Mercurial
Mercurial
>
hg
>
isabelle-cookbook
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-100
-50
-30
+30
+50
+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.
fixed the problem with double definition of even and odd
2009-05-05, by Christian Urban
slight polishing
2009-04-29, by Christian Urban
added note about @{type_names ...}
2009-04-26, by Christian Urban
polished
2009-04-25, by Christian Urban
replaced explode by Symbol.explode
2009-04-25, by Christian Urban
replaced "warning" with "writeln"
2009-04-15, by Christian Urban
added something about TRY and TRYALL
2009-04-13, by Christian Urban
very slight polishing to the simple inductive chapter
2009-04-11, by Christian Urban
some polishing
2009-04-09, by Christian Urban
explained uses and use commands
2009-04-08, by Christian Urban
polished
2009-04-08, by Christian Urban
added a section about naming conventions
2009-04-08, by Christian Urban
minor changes
2009-04-08, by griff
ran spell-checker
2009-04-08, by griff
added material about OuterKeyword.keyword and OuterParse.reserved
2009-04-07, by Christian Urban
permutation example uses now recent infrastructure
2009-04-07, by Christian Urban
various additions
2009-04-03, by Christian Urban
merged
2009-04-02, by Christian Urban
* merge
2009-04-01, by griff
section for further material about simple inductive
2009-04-02, by Christian Urban
finished the heavy duty stuff for the inductive package
2009-04-01, by Christian Urban
merged
2009-04-01, by Christian Urban
merged
2009-04-01, by Christian Urban
corrected some typos
2009-03-30, by griff
polishing
2009-03-30, by griff
more work on the simple inductive chapter
2009-04-01, by Christian Urban
started to adapt the rest of chapter 5 to the simplified version without parameters (they will be described in the extension section)
2009-03-31, by Christian Urban
used antiquotations
2009-03-31, by Christian Urban
added a declaration section (for Amine)
2009-03-31, by Christian Urban
more work on the inductive package
2009-03-31, by Christian Urban
less
more
|
(0)
-100
-50
-30
+30
+50
+100
+300
tip