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 @@ + + + +
++Download | +
![]() |
+
+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 | +