| changeset 391 | ff462cfb41cb |
| parent 332 | 37b2df329532 |
| child 432 | 87c1ad539fc9 |
| 390:8ac8e607c44e | 391:ff462cfb41cb |
|---|---|
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://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A> |
99 <A HREF="http://www21.in.tum.de/~urbanc/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://www4.in.tum.de/~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://www21.in.tum.de/~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 Isabelle 2011-1, then please get in touch with me |
194 <div id="clustrmaps-widget"></div><script type="text/javascript">var _clustrmaps = {'url' : 'http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/index.html', 'user' : 948346, 'server' : '4', 'id' : 'clustrmaps-widget', 'version' : 1, 'date' : '2011-10-30', 'lang' : 'en', 'corners' : 'square' };(function (){ var s = document.createElement('script'); s.type = 'text/javascript'; s.async = true; s.src = 'http://www4.clustrmaps.com/counter/map.js'; var x = document.getElementsByTagName('script')[0]; x.parentNode.insertBefore(s, x);})();</script><noscript><a href="http://www4.clustrmaps.com/user/123e787a"><img src="http://www4.clustrmaps.com/stats/maps-no_clusters/www.inf.kcl.ac.uk-staff-urbanc-Cookbook-index.html-thumb.jpg" alt="Locations of visitors to this page" /></a></noscript> |
194 <div id="clustrmaps-widget"></div><script type="text/javascript">var _clustrmaps = {'url' : 'http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/index.html', 'user' : 948346, 'server' : '4', 'id' : 'clustrmaps-widget', 'version' : 1, 'date' : '2011-10-30', 'lang' : 'en', 'corners' : 'square' };(function (){ var s = document.createElement('script'); s.type = 'text/javascript'; s.async = true; s.src = 'http://www4.clustrmaps.com/counter/map.js'; var x = document.getElementsByTagName('script')[0]; x.parentNode.insertBefore(s, x);})();</script><noscript><a href="http://www4.clustrmaps.com/user/123e787a"><img src="http://www4.clustrmaps.com/stats/maps-no_clusters/www.inf.kcl.ac.uk-staff-urbanc-Cookbook-index.html-thumb.jpg" alt="Locations of visitors to this page" /></a></noscript> |
195 </a> |
195 </a> |
196 <p> |
196 <p> |
197 <P> |
197 <P> |
198 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a> |
198 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a> |
199 <!-- hhmts start --> Last modified: Mon Oct 20 00:42:10 BST 2014 <!-- hhmts end --> |
199 <!-- hhmts start --> Last modified: Mon Feb 15 23:27:57 CET 2016 <!-- hhmts end --> |
200 |
200 |
201 </body> |
201 </body> |
202 </html> |
202 </html> |