isabelle-cookbook: Shortlog

2009-05-30	Christian Urban	added some first index-information	changeset \| files
2009-05-30	Christian Urban	added infrastructure for index; antiquotations have now the options [index] and [indexc]	changeset \| files
2009-05-29	Christian Urban	some slight polishing	changeset \| files
2009-05-28	Christian Urban	added comments about ML_prf and ML_val	changeset \| files
2009-05-23	Christian Urban	added an example	changeset \| files
2009-05-18	Christian Urban	a few additions	changeset \| files
2009-05-17	Christian Urban	some polishing; added together with Jasmin more examples to the pretty printing section	changeset \| files
2009-05-09	Christian Urban	slight polishing	changeset \| files
2009-05-09	Christian Urban	added more to the pretty section and updated the acknowledgements	changeset \| files
2009-05-09	Christian Urban	added some text to the pretty-printing section	changeset \| files
2009-05-08	Christian Urban	a saner method for calling PolyML	changeset \| files
2009-05-08	Christian Urban	Jasmin and Christian added examples for the pretty-printing section	changeset \| files
2009-05-05	Christian Urban	fixed the problem with double definition of even and odd	changeset \| files
2009-04-28	Christian Urban	slight polishing	changeset \| files
2009-04-26	Christian Urban	added note about @{type_names ...}	changeset \| files
Loading...

isabelle-cookbook