diff -r e62111574a55 -r e64a92e94963 Cookbook/main.html --- 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 @@ - Nominal Methods Group + Isabelle Programming Tutorial @@ -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 tutorial 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.

The main aim is to generate a tutorial for people who want to have @@ -72,9 +69,8 @@

We need You

-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