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