equal
deleted
inserted
replaced
95 <p> |
95 <p> |
96 |
96 |
97 <H3>Repository</H3> |
97 <H3>Repository</H3> |
98 |
98 |
99 A preliminary |
99 A preliminary |
100 <A HREF="http://talsker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A> |
100 <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A> |
101 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 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>. |
102 |
102 |
103 <H3>Stable Version</H3> |
103 <H3>Stable Version</H3> |
104 |
104 |
105 There is no real stable version of the Programming Tutorial yet. If you need a version |
105 There is no real stable version of the Programming Tutorial yet. If you need a version |
190 </div> |
190 </div> |
191 |
191 |
192 <P> |
192 <P> |
193 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a> |
193 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a> |
194 |
194 |
195 Time-stamp: <Last changed 2017-09-14 12:47:06 by Christian Urban, cu> |
195 Time-stamp: <Last changed 2017-09-14 12:51:10 by Christian Urban, cu> |
196 |
196 |
197 </body> |
197 </body> |
198 </html> |
198 </html> |
199 |
199 |