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