isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

CookBook/FirstSteps.thy

2008-10-27	Christian Urban	tuned mostly antiquotation and text	file \| diff \| annotate
2008-10-20	Christian Urban	further progress on the parsing section and tuning on the antiqu's	file \| diff \| annotate
2008-10-17	Christian Urban	more on the parsing section	file \| diff \| annotate
2008-10-17	Christian Urban	substantial changes to the antiquotations (preliminary version)	file \| diff \| annotate
2008-10-13	berghofe	Corrected typos.	file \| diff \| annotate
2008-10-10	berghofe	Antiquotation setup is now contained in theory Base.	file \| diff \| annotate
2008-10-09	Christian Urban	added a proof and tuned the rest	file \| diff \| annotate
2008-10-06	Christian Urban	some slight polishing	file \| diff \| annotate
2008-10-05	Christian Urban	some tuning in the FirstSteps section	file \| diff \| annotate
2008-10-02	Christian Urban	added a solution section and some other minor additions	file \| diff \| annotate
2008-10-02	Christian Urban	added a paragraph about "uses" and started a paragraph about tracing	file \| diff \| annotate
2008-10-02	Christian Urban	polished and added a subdirectory for the recipes	file \| diff \| annotate
2008-10-01	Christian Urban	various changes by Alex and Christian	file \| diff \| annotate
2008-09-30	Christian Urban	tuned and updated antquote_setup.ML	file \| diff \| annotate
2008-09-17	Christian Urban	many changes in the FirstSteps section	file \| diff \| annotate
2008-09-15	Christian Urban	some tuning	file \| diff \| annotate
2008-09-09	Christian Urban	minor modifiations to the Intro and FirstSteps chapters	file \| diff \| annotate
2008-09-05	Christian Urban	split the document into smaller pieces;	file \| diff \| annotate

less more (0) tip

isabelle-cookbook