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 | +
+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 | +