isabelle-cookbook: File revisions

CookBook/ROOT.ML

2009-02-23	Christian Urban	polished	file \| diff \| annotate
2009-02-20	Christian Urban	updated and added two tentative recipes	file \| diff \| annotate
2009-02-17	Christian Urban	polished	file \| diff \| annotate
2009-02-15	Christian Urban	some polishing; split up the file External Solver into two	file \| diff \| annotate
2009-01-29	Christian Urban	tuned	file \| diff \| annotate
2009-01-23	Christian Urban	tuned	file \| diff \| annotate
2009-01-14	Christian Urban	added more to the "new command section" and tuning	file \| diff \| annotate
2009-01-07	boehmes	Added four recipes.	file \| diff \| annotate
2008-10-29	Christian Urban	added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual	file \| diff \| annotate
2008-10-20	Christian Urban	further progress on the parsing section and tuning on the antiqu's	file \| diff \| annotate
2008-10-10	berghofe	Added chapter about writing packages.	file \| diff \| annotate
2008-10-02	Christian Urban	added a solution section and some other minor additions	file \| diff \| annotate

isabelle-cookbook