CookBook/Recipes/Antiquotes.thy
Wed, 14 Jan 2009 23:44:14 +0000 Christian Urban added an antiquotation option [gray] for gray boxes around displays
Wed, 14 Jan 2009 17:47:49 +0000 Christian Urban highligted the background of ML-code
Sat, 10 Jan 2009 12:57:48 +0000 Christian Urban tuned and added a section about creating keyword files
less more (0) -3 tip