--- a/Cookbook/main.html Sun Oct 30 22:26:43 2011 +0000
+++ b/Cookbook/main.html Sun Oct 30 22:33:27 2011 +0000
@@ -2,7 +2,7 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
- <title>Nominal Methods Group</title>
+ <title>Isabelle Programming Tutorial</title>
<link rel="stylesheet" href="nominal.css">
</head>
@@ -20,10 +20,7 @@
However, the entry barrier for users to program on the ML-level of Isabelle
is still unbearably high. In this project we want to change this state
of affairs by providing a <i>tutorial</i> about ML-coding in Isabelle. The
-German Research Council has provided us with €26,000 to be spend
-over the next three years on this project. We invite the Isabelle community to
-participate in this project and benefit from the money (and of course
-also to reap the benefits from the better documentation).
+German Research Council has provided us with funding for this project.
<p>
The main aim is to generate a tutorial for people who want to have
@@ -72,9 +69,8 @@
<H3>We need You</H3>
-We need help for accomplishing this tutorial. If you are familiar with the ML-level of
-Isabelle, then we can offer money in order that you write small parts of
-this documentation. Please get in contact with us (see addresses below). If you
+We need help for accomplishing this tutorial. If you are familiar with the
+ML-level of Isabelle, please get in contact with us (see addresses below). If you
are not familiar, but like to know more about the bits and pieces that make
up the Isabelle code, then let us know what you are interested in or what
project you like to implement. Above all we like to help future users and
@@ -87,7 +83,7 @@
The project is managed by
<ul>
-<li> <A HREF="http://www4.in.tum.de/~urbanc/" target="_top">Christian Urban</A> (urbanc at in tum de)
+<li> <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/" target="_top">Christian Urban</A> (christian.urban at kcl ac uk)
<li> <A HREF="http://www.cl.cam.ac.uk/~lp15/" target="_top">Larry Paulson</A> (lp15 at cam ac uk)
<li> <A HREF="http://nicta.com.au/people/norrishm" target="_top">Michael Norrish</A>
(Michael.Norrish at nicta com au)
@@ -110,8 +106,8 @@
<H3>Stable Version</H3>
There is no real stable version of the Programming Tutorial yet. If you need a version
-that is guaranteed to work with Isabelle 2009, then please get in touch with me
-(urbanc at in tum de).
+that is guaranteed to work with Isabelle 2011-1, then please get in touch with me
+(christian.urban at kcl ac ik).
<H3><A NAME="readers"></A>What early readers said:</H3>
@@ -188,17 +184,8 @@
<P>
<a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
<!-- hhmts start -->
-Last modified: Mon Aug 1 09:09:07 BST 2011
+Last modified: Sun Oct 30 22:33:16 GMT 2011
<!-- hhmts end -->
-<!--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">
-try {
-var pageTracker = _gat._getTracker("UA-4143458-3");
-pageTracker._trackPageview();
-} catch(err) {}</script -->
</body>
</html>
\ No newline at end of file