Mercurial
Mercurial
>
hg
>
isabelle-cookbook
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-12
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
progtutorial.pdf
2009-05-29
Christian Urban
some slight polishing
file
|
diff
|
annotate
2009-05-28
Christian Urban
added comments about ML_prf and ML_val
file
|
diff
|
annotate
2009-05-23
Christian Urban
added an example
file
|
diff
|
annotate
2009-05-18
Christian Urban
a few additions
file
|
diff
|
annotate
2009-05-17
Christian Urban
some polishing; added together with Jasmin more examples to the pretty printing section
file
|
diff
|
annotate
2009-05-09
Christian Urban
slight polishing
file
|
diff
|
annotate
2009-05-09
Christian Urban
added more to the pretty section and updated the acknowledgements
file
|
diff
|
annotate
2009-05-09
Christian Urban
added some text to the pretty-printing section
file
|
diff
|
annotate
2009-05-08
Christian Urban
a saner method for calling PolyML
file
|
diff
|
annotate
2009-05-08
Christian Urban
Jasmin and Christian added examples for the pretty-printing section
file
|
diff
|
annotate
2009-05-05
Christian Urban
fixed the problem with double definition of even and odd
file
|
diff
|
annotate
2009-04-28
Christian Urban
slight polishing
file
|
diff
|
annotate
less
more
(0)
-12
tip