equal
deleted
inserted
replaced
74 that is of nobody's help. Also proofreading and feedback would be most |
74 that is of nobody's help. Also proofreading and feedback would be most |
75 appreciated. |
75 appreciated. |
76 |
76 |
77 <H3>People to contact</H3> |
77 <H3>People to contact</H3> |
78 |
78 |
79 The project is managed by |
79 The project was managed by |
80 |
80 |
81 <ul> |
81 <ul> |
82 <li> <A HREF="http://nms.kcl.ac.uk/christian.urban/" 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> |
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://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A> |
99 <A HREF="http://talsker.inf.kcl.ac.uk/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://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>. |
100 is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="http://talisker.inf.kcl.ac.uk/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 |
178 for applying substitutions that are generated by unification. |
178 for applying substitutions that are generated by unification. |
179 (Lukas Bulwahn, TU Munich, 2009)</i> |
179 (Lukas Bulwahn, TU Munich, 2009)</i> |
180 |
180 |
181 <p> |
181 <p> |
182 <i> What a great resource! I wish I'd had this when I wrote my first |
182 <i> What a great resource! I wish I'd had this when I wrote my first |
183 parser in December 2008. |
183 parser in December 2008. (Timothy Bourke, UNSW Sydney, 2009)</i> |
184 (Timothy Bourke, UNSW Sydney, 2009)</i> |
|
185 |
184 |
186 </td> |
185 </td> |
187 </tr> |
186 </tr> |
188 </tbody> |
187 </tbody> |
189 </table> |
188 </table> |