Mercurial Mercurial > hg > isabelle-cookbook / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -50 -24 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CookBook/FirstSteps.thy
2009-02-21 Christian Urban polished 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-17 Christian Urban some polishing in the first-steps chapter file | diff | annotate
2009-02-17 Christian Urban polished 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-13 Christian Urban properly handled linenumbers in ML-text and Isar-proofs file | diff | annotate
2009-02-11 Christian Urban added to the tactical chapter; polished; added the tabularstar environment (which is just tabular*) file | diff | annotate
2009-02-09 Christian Urban polished and more material in the tactic chapter file | diff | annotate
2009-02-08 Christian Urban polished 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-02-06 Christian Urban tuned file | diff | annotate
2009-02-05 Christian Urban polished file | diff | annotate
2009-01-29 Christian Urban tuned file | diff | annotate
2009-01-29 Christian Urban polishing file | diff | annotate
2009-01-28 Christian Urban updated version file | diff | annotate
2009-01-28 Christian Urban polished file | diff | annotate
2009-01-27 Christian Urban better handling of {* and *} file | diff | annotate
2009-01-27 Christian Urban some polishing file | diff | annotate
2009-01-27 Christian Urban polished the combinator section file | diff | annotate
2009-01-26 Christian Urban polished file | diff | annotate
2009-01-26 Christian Urban added a section about combinators file | diff | annotate
less more (0) -50 -24 tip
isabelle-cookbook