diff -r 05e5d68c9627 -r f1be8028a4a9 Nominal/activities/idp/menu.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Nominal/activities/idp/menu.html Wed Mar 30 17:27:34 2016 +0100 @@ -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 | +