isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

ProgTutorial/Intro.thy

2019-06-11	Christian Urban	minor updated	file \| diff \| annotate
2019-05-22	Norbert Schirmer	polish document	file \| diff \| annotate
2019-05-17	Norbert Schirmer	prefer cartouches over " in ML antiquotations	file \| diff \| annotate
2019-05-17	Norbert Schirmer	adding to "how to understand code"	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
2014-10-15	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2014-07-08	Christian Urban	updated for Isabelle 2014	file \| diff \| annotate
2014-03-13	Christian Urban	updated to changes 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	removed versions	file \| diff \| annotate
2012-08-28	Christian Urban	added build for document	file \| diff \| annotate
2012-08-27	Christian Urban	adapted to new build framework	file \| diff \| annotate
2012-06-21	Christian Urban	tuned	file \| diff \| annotate
2012-06-20	Christian Urban	tuned	file \| diff \| annotate
2012-06-20	Christian Urban	moved the introspection part into the theorem section	file \| diff \| annotate
2012-06-19	Christian Urban	polished	file \| diff \| annotate
2012-06-19	Christian Urban	added a new recipe for introspecting theorems (suggested by Lukas and Rafal)	file \| diff \| annotate
2012-06-18	Christian Urban	updated	file \| diff \| annotate
2012-06-18	Christian Urban	polished	file \| diff \| annotate
2012-06-18	Christian Urban	improved new_command section	file \| diff \| annotate
2012-04-30	Christian Urban	removed special ML-setup and replaced it by explicit markups (i.e., %grayML)	file \| diff \| annotate
2011-11-17	Christian Urban	tuned	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-06-21	Christian Urban	added an excercise originally by Jasmin Blanchette	file \| diff \| annotate
2011-06-17	Christian Urban	a little polishing	file \| diff \| annotate
2011-05-17	Christian Urban	updated to new Isabelle	file \| diff \| annotate

less more (0) -50 -28 tip

isabelle-cookbook

RSS Atom