isabelle-cookbook: File revisions

ProgTutorial/First_Steps.thy

2019-05-22	Norbert Schirmer	fixing some Line references	file \| diff \| annotate
2019-05-21	Norbert Schirmer	prefer more result checking in ML antiquotations	file \| diff \| annotate
2019-05-17	Norbert Schirmer	prefer cartouches over " 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	tuned parser for patterns in ML_response... antiquotations	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-10-15	Christian Urban	improvements by Piotr Trojanek	file \| diff \| annotate
2014-07-08	Christian Urban	updated for Isabelle 2014	file \| diff \| annotate
2014-04-03	Christian Urban	updated	file \| diff \| annotate
2014-03-13	Christian Urban	updated to changes in Isabelle	file \| diff \| annotate

isabelle-cookbook