isabelle-cookbook: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 24 Feb 2009 13:57:14 +0000] rev 136

to be in sync with Sascha

boehmes [Tue, 24 Feb 2009 14:35:07 +0100] rev 135

First draft for conversions subsection.

Christian Urban <urbanc@in.tum.de> [Tue, 24 Feb 2009 11:15:41 +0000] rev 134

some slight polishing

Christian Urban <urbanc@in.tum.de> [Tue, 24 Feb 2009 01:30:15 +0000] rev 133

polishing and start of the section about attributes

Christian Urban <urbanc@in.tum.de> [Mon, 23 Feb 2009 17:08:15 +0000] rev 132

polished

Christian Urban <urbanc@in.tum.de> [Mon, 23 Feb 2009 00:27:27 +0000] rev 131

polished

Christian Urban <urbanc@in.tum.de> [Sun, 22 Feb 2009 13:37:47 +0000] rev 130

polished the section about simprocs and added an exercise

Christian Urban <urbanc@in.tum.de> [Sun, 22 Feb 2009 03:44:03 +0000] rev 129

started a section about simprocs

Christian Urban <urbanc@in.tum.de> [Sat, 21 Feb 2009 11:38:14 +0000] rev 128

polished

Christian Urban <urbanc@in.tum.de> [Fri, 20 Feb 2009 23:19:41 +0000] rev 127

updated and added two tentative recipes

isabelle-cookbook