isabelle-cookbook: File revisions

ProgTutorial/antiquote_setup.ML

Tue, 18 Aug 2009 01:05:56 +0200	Christian Urban	polished	file \| diff \| annotate
Tue, 04 Aug 2009 16:18:39 +0200	Christian Urban	added an antiquotation for printing the raw proof state; polished the example about proof state	file \| diff \| annotate
Mon, 03 Aug 2009 16:47:01 +0200	Christian Urban	tuned	file \| diff \| annotate
Tue, 23 Jun 2009 04:05:01 +0200	Christian Urban	updated to new Isabelle	file \| diff \| annotate
Sun, 31 May 2009 00:39:17 +0200	Christian Urban	slightly modified index generation	file \| diff \| annotate
Sat, 30 May 2009 17:40:20 +0200	Christian Urban	added some first index-information	file \| diff \| annotate
Sat, 30 May 2009 11:12:46 +0200	Christian Urban	added infrastructure for index; antiquotations have now the options [index] and [indexc]	file \| diff \| annotate
Wed, 25 Mar 2009 15:09:04 +0100	Christian Urban	soem slight polishing	file \| diff \| annotate
Thu, 19 Mar 2009 13:28:16 +0100	Christian Urban	made more of the transition from "CookBook" to "ProgTutorial"	file \| diff \| annotate \| base

isabelle-cookbook