isabelle-cookbook: File revisions

ProgTutorial/Base.thy

2019-05-21	Norbert Schirmer	accomodate to upcoming Isabelle 2019	file \| diff \| annotate
2019-05-21	Norbert Schirmer	prefer more result checking in ML antiquotations	file \| diff \| annotate
2019-05-16	Norbert Schirmer	tuned ML-antiquotations; added intro portions.	file \| diff \| annotate
2019-05-14	Norbert Schirmer	isabelle update_cartouches -t	file \| diff \| annotate
2019-05-14	Norbert Schirmer	tuned parsing in document antiquotations for ML	file \| diff \| annotate
2019-05-14	Norbert Schirmer	Accomodate to Isabelle 2018	file \| diff \| annotate
2014-07-08	Christian Urban	updated for Isabelle 2014	file \| diff \| annotate
2012-10-04	Christian Urban	removed "use" for "ML_file"	file \| diff \| annotate
2012-08-27	Christian Urban	adapted to new build framework	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-04-30	Christian Urban	updated to forthcoming Isabelle 2012	file \| diff \| annotate
2012-03-20	Christian Urban	updated to outer syntax / parser changes	file \| diff \| annotate
2011-11-07	Christian Urban	more on contexts	file \| diff \| annotate
2011-10-26	Christian Urban	updated to post-2011-1 Isabelle	file \| diff \| annotate

isabelle-cookbook