diff -r 1afb9462ea70 -r 8355bfc8d35d Cookbook/menu.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Cookbook/menu.html Sun Oct 30 21:57:49 2011 +0000 @@ -0,0 +1,113 @@ + + + + + Menu + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+Download
+Latest Draft


+People Who Contributed So Far
Christian Urban
Stefan Berghofer
Jasmin Blanchette
Sascha Böhme
Jeremy Dawson
Armin Heller
Alexander Krauss
Tobias Nipkow
Michael Norrish
Christian Sternagel
+Feedback
What early readers said
+Workshops
First Isabelle Developers Workshop
Second Isabelle Developers Workshop
+ + + + +