isabelle-cookbook: Changelog

Mercurial Mercurial > hg > isabelle-cookbook / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10 +10 +100 +300 tip

Sat, 10 Jan 2009 12:57:48 +0000 tuned and added a section about creating keyword files

Christian Urban <urbanc@in.tum.de> [Sat, 10 Jan 2009 12:57:48 +0000] rev 65

tuned and added a section about creating keyword files

Thu, 08 Jan 2009 22:47:15 +0000 deleted old files and added code to give a special tag to the command ML

Christian Urban <urbanc@in.tum.de> [Thu, 08 Jan 2009 22:47:15 +0000] rev 64

deleted old files and added code to give a special tag to the command ML

Thu, 08 Jan 2009 22:46:06 +0000 tuned

Christian Urban <urbanc@in.tum.de> [Thu, 08 Jan 2009 22:46:06 +0000] rev 63

tuned

Wed, 07 Jan 2009 16:36:31 +0000 added Sacha as contributor

Christian Urban <urbanc@in.tum.de> [Wed, 07 Jan 2009 16:36:31 +0000] rev 62

added Sacha as contributor

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

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)

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

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

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.

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

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

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

isabelle-cookbook