isabelle-cookbook: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 15 Apr 2009 13:11:08 +0000] rev 239

replaced "warning" with "writeln"

Christian Urban <urbanc@in.tum.de> [Mon, 13 Apr 2009 08:30:48 +0000] rev 238

added something about TRY and TRYALL

Christian Urban <urbanc@in.tum.de> [Sat, 11 Apr 2009 19:23:58 +0000] rev 237

very slight polishing to the simple inductive chapter

Christian Urban <urbanc@in.tum.de> [Thu, 09 Apr 2009 18:11:35 +0000] rev 236

some polishing

Christian Urban <urbanc@in.tum.de> [Wed, 08 Apr 2009 22:47:39 +0100] rev 235

explained uses and use commands

Christian Urban <urbanc@in.tum.de> [Wed, 08 Apr 2009 13:42:18 +0100] rev 234

polished

Christian Urban <urbanc@in.tum.de> [Wed, 08 Apr 2009 10:40:16 +0100] rev 233

added a section about naming conventions

griff [Wed, 08 Apr 2009 09:55:39 +0200] rev 232

minor changes

griff [Wed, 08 Apr 2009 09:22:07 +0200] rev 231

ran spell-checker

Christian Urban <urbanc@in.tum.de> [Tue, 07 Apr 2009 23:59:39 +0100] rev 230

added material about OuterKeyword.keyword and OuterParse.reserved

isabelle-cookbook