Mercurial
Mercurial
>
hg
>
isabelle-cookbook
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
CookBook/Package/Ind_Interface.thy
2009-03-18
Christian Urban
made the Ackermann function example safer and included suggestions from MW
file
|
diff
|
annotate
2009-03-17
Christian Urban
a simplification suggested by Stefan and some polishing
file
|
diff
|
annotate
2009-03-15
Christian Urban
adapted to latest Attrib.setup changes and more work on the simple induct chapter
file
|
diff
|
annotate
2009-03-13
Christian Urban
polishing
file
|
diff
|
annotate
2009-03-13
Christian Urban
updated to new read_specification
file
|
diff
|
annotate
2009-02-22
Christian Urban
started a section about simprocs
file
|
diff
|
annotate
2009-02-20
Christian Urban
updated and added two tentative recipes
file
|
diff
|
annotate
2009-02-19
Christian Urban
polished
file
|
diff
|
annotate
2009-02-18
Christian Urban
added to the first-steps section
file
|
diff
|
annotate
2009-02-15
Christian Urban
some polishing; split up the file External Solver into two
file
|
diff
|
annotate
2009-02-14
Christian Urban
polished and added more material to the package chapter
file
|
diff
|
annotate
2009-02-14
Christian Urban
added an option for linenumbers to the chunk-antiquotation
file
|
diff
|
annotate
2009-02-14
Christian Urban
more changes to the package chapter
file
|
diff
|
annotate
2009-02-13
Christian Urban
slightly updated
file
|
diff
|
annotate
2009-02-07
Christian Urban
general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution
file
|
diff
|
annotate
2009-01-29
Christian Urban
adaptation of the package chapter to fit the rest
file
|
diff
|
annotate
2009-01-24
Christian Urban
adapted to changes in binding.ML
file
|
diff
|
annotate
2009-01-14
Christian Urban
removed mytable from root-file
file
|
diff
|
annotate
2009-01-03
Christian Urban
doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is)
file
|
diff
|
annotate
2008-12-15
berghofe
Adapted to changes in binding module.
file
|
diff
|
annotate
2008-11-29
Christian Urban
removed the @{ML ...} antiquotation in favour of @{ML_open ...x}
file
|
diff
|
annotate
2008-10-27
Christian Urban
tuned mostly antiquotation and text
file
|
diff
|
annotate
2008-10-13
berghofe
Tuned.
file
|
diff
|
annotate
2008-10-10
berghofe
Added new chapter about writing packages.
file
|
diff
|
annotate
less
more
(0)
tip