equal
deleted
inserted
replaced
100 is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. |
100 is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. |
101 |
101 |
102 <H3>Stable Version</H3> |
102 <H3>Stable Version</H3> |
103 |
103 |
104 There is no real stable version of the Programming Tutorial yet. If you need a version |
104 There is no real stable version of the Programming Tutorial yet. If you need a version |
105 that is guaranteed to work with Isabelle 2011-1, then please get in touch with me |
105 that is guaranteed to work with a stable version of Isabelle, then please get in touch with me |
106 (christian.urban at kcl ac uk). |
106 (christian.urban at kcl ac uk). |
107 |
107 |
108 |
108 |
109 <H3><A NAME="readers"></A>What early readers said:</H3> |
109 <H3><A NAME="readers"></A>What early readers said:</H3> |
110 |
110 |