isabelle-cookbook: Shortlog

Mercurial Mercurial > hg > isabelle-cookbook / shortlog

2012-09-16	Christian Urban	updated	changeset \| files
2012-08-28	Christian Urban	added build for document	changeset \| files
2012-08-27	Christian Urban	adapted to new build framework	changeset \| files
2012-06-22	Christian Urban	tuned	changeset \| files
2012-06-21	Christian Urban	tuned	changeset \| files
2012-06-21	Christian Urban	tuned	changeset \| files
2012-06-20	Christian Urban	tuned	changeset \| files
2012-06-20	Christian Urban	tuned	changeset \| files
2012-06-20	Christian Urban	moved the introspection part into the theorem section	changeset \| files
2012-06-19	Christian Urban	polished	changeset \| files
2012-06-19	Christian Urban	polished introspection section	changeset \| files
2012-06-19	Christian Urban	polished	changeset \| files
2012-06-19	Christian Urban	added a new recipe for introspecting theorems (suggested by Lukas and Rafal)	changeset \| files
2012-06-19	Christian Urban	updated pdf	changeset \| files
2012-06-19	Christian Sternagel	proofread section 5.8 + spell-checked Parsing.thy	changeset \| files
2012-06-18	Christian Urban	updated	changeset \| files
2012-06-18	Christian Urban	polished	changeset \| files
2012-06-18	Christian Urban	improved new_command section	changeset \| files
2012-06-16	Christian Urban	updated the section about new keywords	changeset \| files
2012-05-24	Christian Urban	updated	changeset \| files
2012-04-30	Christian Urban	removed special ML-setup and replaced it by explicit markups (i.e., %grayML)	changeset \| files
2012-04-30	Christian Urban	updated pdf	changeset \| files
2012-04-30	Christian Urban	updated to forthcoming Isabelle 2012	changeset \| files
2012-03-20	Christian Urban	updated to outer syntax / parser changes	changeset \| files
2012-02-19	Christian Urban	updated to new Isabelle	changeset \| files
2012-02-15	Christian Urban	remerged	changeset \| files
2012-02-15	Christian Urban	merged	changeset \| files
2012-02-15	Christian Urban	updated to Isabelle 15 Feb	changeset \| files
2012-01-21	Christian Urban	updated part about beta in Tactiacal section	changeset \| files
2012-01-21	Christian Urban	merged	changeset \| files
2012-01-21	Christian Urban	modified the passage on beta-contractions	changeset \| files
2012-01-16	Christian Urban	tuned	changeset \| files
2011-11-30	Christian Urban	updated to Isabelle 30 November	changeset \| files
2011-11-25	Christian Urban	merged	changeset \| files
2011-11-24	Christian Urban	updated to Isabelle 24 November	changeset \| files
2011-11-17	Christian Urban	tuned	changeset \| files
2011-11-17	Christian Urban	more on contexts	changeset \| files
2011-11-16	Christian Urban	more on contexts	changeset \| files
2011-11-14	Christian Urban	more on contexts	changeset \| files
2011-11-14	Christian Urban	tuned	changeset \| files
2011-11-12	Christian Urban	tuned	changeset \| files
2011-11-12	Christian Urban	tuned	changeset \| files
2011-11-11	Christian Urban	more on contexts	changeset \| files
2011-11-10	Christian Urban	tuned	changeset \| files
2011-11-10	Christian Urban	tuned	changeset \| files
2011-11-10	Christian Urban	tuned	changeset \| files
2011-11-09	Christian Urban	tuned	changeset \| files
2011-11-09	Christian Urban	tuned	changeset \| files
2011-11-07	Christian Urban	tuned	changeset \| files
2011-11-07	Christian Urban	more on contexts	changeset \| files
2011-11-07	Christian Urban	more on theories	changeset \| files
2011-11-06	Christian Urban	a section about theories and setups	changeset \| files
2011-11-05	Christian Urban	added section about testboard	changeset \| files
2011-11-04	Christian Urban	more material	changeset \| files
2011-11-03	Christian Urban	tuned	changeset \| files
2011-11-02	Christian Urban	tuned	changeset \| files
2011-10-30	Christian Urban	updated	changeset \| files
2011-10-29	Christian Urban	test	changeset \| files
2011-10-29	Christian Urban	a few things added First_Steps	changeset \| files
2011-10-27	Christian Urban	some tests	changeset \| files

(0) -300 -100 -60 tip

isabelle-cookbook

RSS Atom