Mercurial
Mercurial
>
hg
>
isabelle-cookbook
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-100
-60
+60
+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.
slightly modified index generation
2009-05-31, by Christian Urban
corrected index references and minor polishing
2009-05-30, by Christian Urban
added some first index-information
2009-05-30, by Christian Urban
added infrastructure for index; antiquotations have now the options [index] and [indexc]
2009-05-30, by Christian Urban
some slight polishing
2009-05-29, by Christian Urban
added comments about ML_prf and ML_val
2009-05-28, by Christian Urban
added an example
2009-05-23, by Christian Urban
a few additions
2009-05-18, by Christian Urban
some polishing; added together with Jasmin more examples to the pretty printing section
2009-05-17, by Christian Urban
slight polishing
2009-05-09, by Christian Urban
added more to the pretty section and updated the acknowledgements
2009-05-09, by Christian Urban
added some text to the pretty-printing section
2009-05-09, by Christian Urban
a saner method for calling PolyML
2009-05-08, by Christian Urban
Jasmin and Christian added examples for the pretty-printing section
2009-05-08, by Christian Urban
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
updated to latest Isabelle
2009-03-30, by Christian Urban
some polishing
2009-03-30, by Christian Urban
polishing
2009-03-27, by Christian Urban
more work on simple inductive and marked all sections that are still seriously incomplete with TBD
2009-03-27, by Christian Urban
more work on the simple inductive section
2009-03-26, by Christian Urban
soem slight polishing
2009-03-25, by Christian Urban
a bit more work on the simple-inductive package
2009-03-24, by Christian Urban
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
small changes
2009-03-23, by griff
typos
2009-03-23, by griff
less
more
|
(0)
-100
-60
+60
+100
+300
tip