isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

ProgTutorial/Advanced.thy

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	isabelle update_cartouches -t	file \| diff \| annotate
2019-05-14	Norbert Schirmer	Accomodate to Isabelle 2018	file \| diff \| annotate
2014-10-15	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2013-12-15	Christian Urban	updated to latest isabelle	file \| diff \| annotate
2013-07-31	Christian Urban	deleted comment about Theory.copy which is not used anymore in Isabelle	file \| diff \| annotate
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
2011-11-10	Christian Urban	tuned	file \| diff \| annotate
2011-11-10	Christian Urban	tuned	file \| diff \| annotate
2011-11-10	Christian Urban	tuned	file \| diff \| annotate
2011-11-09	Christian Urban	tuned	file \| diff \| annotate
2011-11-09	Christian Urban	tuned	file \| diff \| annotate
2011-11-07	Christian Urban	more on contexts	file \| diff \| annotate
2011-11-07	Christian Urban	more on theories	file \| diff \| annotate
2011-11-06	Christian Urban	a section about theories and setups	file \| diff \| annotate
2011-11-05	Christian Urban	added section about testboard	file \| diff \| annotate
2011-11-04	Christian Urban	more material	file \| diff \| annotate
2011-10-30	Christian Urban	updated	file \| diff \| annotate
2011-10-26	Christian Urban	updated to post-2011-1 Isabelle	file \| diff \| annotate
2011-06-28	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2011-05-17	Christian Urban	merged	file \| diff \| annotate
2011-05-17	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2011-04-19	Christian Urban	updated	file \| diff \| annotate
2010-07-28	Christian Urban	test	file \| diff \| annotate
2010-01-08	Christian Urban	polished	file \| diff \| annotate
2009-12-31	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2009-12-03	Christian Urban	tuned	file \| diff \| annotate
2009-12-02	Christian Urban	tunded	file \| diff \| annotate
2009-11-22	Christian Urban	updated to new Isabelle and clarified Skip_Proof	file \| diff \| annotate
2009-11-22	Christian Urban	tuning	file \| diff \| annotate
2009-11-19	Christian Urban	tuned	file \| diff \| annotate
2009-11-19	Christian Urban	spilt the Essential's chapter	file \| diff \| annotate \| base

less more (0) tip

isabelle-cookbook

RSS Atom