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