isabelle-cookbook: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 17 Dec 2008 05:08:33 +0000] rev 59

tuned

Christian Urban <urbanc@in.tum.de> [Tue, 16 Dec 2008 17:28:05 +0000] rev 58

fixed typos

berghofe [Tue, 16 Dec 2008 17:37:39 +0100] rev 57

Repaired output of marginal comments in ML antiquotation.

Christian Urban <urbanc@in.tum.de> [Tue, 16 Dec 2008 08:08:44 +0000] rev 56

added a para on Scan.unless and an exercise about scanning comments

berghofe [Mon, 15 Dec 2008 10:48:27 +0100] rev 55

Adapted to changes in binding module.

Christian Urban <urbanc@in.tum.de> [Sat, 13 Dec 2008 01:33:22 +0000] rev 54

tuned; added document antiquotation ML_response_fake_both

Christian Urban <urbanc@in.tum.de> [Sat, 29 Nov 2008 21:20:18 +0000] rev 53

removed the @{ML ...} antiquotation in favour of @{ML_open ...x}

Christian Urban <urbanc@in.tum.de> [Fri, 28 Nov 2008 05:56:28 +0100] rev 52

tuned

Christian Urban <urbanc@in.tum.de> [Fri, 28 Nov 2008 05:19:55 +0100] rev 51

completes the recipie on antiquotations

Christian Urban <urbanc@in.tum.de> [Tue, 25 Nov 2008 05:19:27 +0000] rev 50

tuned

isabelle-cookbook