equal
deleted
inserted
replaced
77 <H3>People to contact</H3> |
77 <H3>People to contact</H3> |
78 |
78 |
79 The project is managed by |
79 The project is managed by |
80 |
80 |
81 <ul> |
81 <ul> |
82 <li> <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/" target="_top">Christian Urban</A> (christian.urban at kcl ac uk) |
82 <li> <A HREF="http://nms.kcl.ac.uk/christian.urban/" target="_top">Christian Urban</A> (christian.urban at kcl ac uk) |
83 <li> <A HREF="http://www.cl.cam.ac.uk/~lp15/" target="_top">Larry Paulson</A> (lp15 at cam ac uk) |
83 <li> <A HREF="http://www.cl.cam.ac.uk/~lp15/" target="_top">Larry Paulson</A> (lp15 at cam ac uk) |
84 <li> <A HREF="http://nicta.com.au/people/norrishm" target="_top">Michael Norrish</A> |
84 <li> <A HREF="http://nicta.com.au/people/norrishm" target="_top">Michael Norrish</A> |
85 (Michael.Norrish at nicta com au) |
85 (Michael.Norrish at nicta com au) |
86 </ul> |
86 </ul> |
87 |
87 |
94 <p> |
94 <p> |
95 |
95 |
96 <H3>Repository</H3> |
96 <H3>Repository</H3> |
97 |
97 |
98 A preliminary |
98 A preliminary |
99 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A> |
99 <A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</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>. |
100 is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="http://nms.kcl.ac.uk/christian.urban/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 a stable version of Isabelle, 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 |