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 @@
+<?xml version="1.0" encoding="utf-8"?>
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html>
+<head>
+ <title>Menu</title>
+ <style type="text/css">
+ a:link{text-decoration:none;}
+ a:visited{text-decoration:none;}
+ a:hover{text-decoration:underline;}
+ </style>
+</head>
+
+
+<body style="color: rgb(0,0,0);" alink="#000099" link="#000099" vlink="#990099">
+
+<span style="font-weight: bold; color: rgb(255, 255, 255);"></span>
+<table style="text-align: left; width: 100%;" border="0" cellpadding="2" cellspacing="0">
+
+
+<tbody>
+
+<tr>
+<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
+Download</span></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <IMG SRC="new.gif" ALT="" style="" align="left"><a href="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" onclick="pageTracker._trackPageview('tutorial');" target="_top">
+Latest Draft</a><BR><BR><BR></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
+People Who Contributed So Far</span></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~urbanc" target="content">Christian Urban</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~berghofe" target="content">Stefan Berghofer</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~blanchet/" target="content">Jasmin Blanchette</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~boehmes" target="content">Sascha Böhme</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://users.rsise.anu.edu.au/~jeremy" target="content">Jeremy Dawson</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> Armin Heller</td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~krauss" target="content">Alexander Krauss</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~nipkow" target="content">Tobias Nipkow</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.nicta.com.au/people/norrishm" target="content">Michael Norrish</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://cl-informatik.uibk.ac.at/~griff/" target="content">Christian Sternagel</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
+Feedback</span></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://isabelle.in.tum.de/nominal/activities/idp/main.html#readers" target="content">What early readers said</a> </td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
+Workshops</span></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://isabelle.in.tum.de/nominal/activities/tphols09/idw.html" target="_top">First Isabelle Developers Workshop</a> </td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://isabelle.in.tum.de/nominal/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td>
+</tr>
+
+</tbody>
+</table>
+
+
+<!-- script type="text/javascript">
+var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
+document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
+</script>
+<script type="text/javascript">
+var pageTracker = _gat._getTracker("UA-4143458-1");
+pageTracker._initData();
+pageTracker._trackPageview();
+</script -->
+</body>
+</html>