isabelle-cookbook: Changelog

Mercurial Mercurial > hg > isabelle-cookbook / changelog

Wed, 07 Jan 2009 16:29:49 +0100 Added four recipes.

changeset

boehmes [Wed, 07 Jan 2009 16:29:49 +0100] rev 61

Added four recipes.

Sat, 03 Jan 2009 20:44:54 +0000 doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is)

changeset

Christian Urban <urbanc@in.tum.de> [Sat, 03 Jan 2009 20:44:54 +0000] rev 60

doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is)

Wed, 17 Dec 2008 05:08:33 +0000 tuned

changeset

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

tuned

Tue, 16 Dec 2008 17:28:05 +0000 fixed typos

changeset

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

fixed typos

Tue, 16 Dec 2008 17:37:39 +0100 Repaired output of marginal comments in ML antiquotation.

changeset

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

Repaired output of marginal comments in ML antiquotation.

Tue, 16 Dec 2008 08:08:44 +0000 added a para on Scan.unless and an exercise about scanning comments

changeset

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

Mon, 15 Dec 2008 10:48:27 +0100 Adapted to changes in binding module.

changeset

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

Adapted to changes in binding module.

(0) -30 -10 -7 +7 +10 +30 +100 +300 tip

isabelle-cookbook

RSS Atom