isabelle-cookbook: File revisions

ProgTutorial/Advanced.thy

2013-02-25	Christian Urban	updated the CallML section with the help from Florian	file \| diff \| annotate
2012-12-01	Christian Urban	updated to new isabelle	file \| diff \| annotate
2012-05-24	Christian Urban	updated	file \| diff \| annotate
2012-04-30	Christian Urban	removed special ML-setup and replaced it by explicit markups (i.e., %grayML)	file \| diff \| annotate
2012-03-20	Christian Urban	updated to outer syntax / parser changes	file \| diff \| annotate
2012-01-16	Christian Urban	tuned	file \| diff \| annotate
2011-11-17	Christian Urban	tuned	file \| diff \| annotate
2011-11-17	Christian Urban	more on contexts	file \| diff \| annotate
2011-11-16	Christian Urban	more on contexts	file \| diff \| annotate
2011-11-14	Christian Urban	more on contexts	file \| diff \| annotate
2011-11-14	Christian Urban	tuned	file \| diff \| annotate
2011-11-12	Christian Urban	tuned	file \| diff \| annotate
2011-11-12	Christian Urban	tuned	file \| diff \| annotate
2011-11-11	Christian Urban	more on contexts	file \| diff \| annotate

isabelle-cookbook