Mercurial Mercurial > hg > isabelle-cookbook / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) +512 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2008-10-02 Christian Urban polished changeset | files
2008-10-02 Christian Urban added a solution section and some other minor additions changeset | files
2008-10-02 Christian Urban added a paragraph about "uses" and started a paragraph about tracing changeset | files
2008-10-02 Christian Urban polished and added a subdirectory for the recipes changeset | files
2008-10-01 Christian Urban various changes by Alex and Christian changeset | files
2008-09-30 Christian Urban tuned and updated antquote_setup.ML changeset | files
2008-09-17 Christian Urban many changes in the FirstSteps section changeset | files
2008-09-17 Christian Urban added new version changeset | files
2008-09-15 Christian Urban forgot to add (see previous message) changeset | files
2008-09-15 Christian Urban added an explicit file containing references in the Implementation manual (should be replaced by antiquotations) changeset | files
2008-09-15 Christian Urban some tuning changeset | files
2008-09-09 Christian Urban minor modifiations to the Intro and FirstSteps chapters changeset | files
2008-09-06 Christian Urban added verbatim the notes by Jeremy changeset | files
2008-09-05 Christian Urban not needed anymore -> moved to other places changeset | files
2008-09-05 Christian Urban split the document into smaller pieces; changeset | files
2008-09-03 Christian Urban added necessary files changeset | files
2008-09-03 Christian Urban initial commit of Alexander's files changeset | files
(0) +512 tip
isabelle-cookbook