Mercurial Mercurial > hg > public_html / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookbook/main.html
changeset 446 67819579944b
parent 432 87c1ad539fc9
child 448 960cc8081e0a
equal deleted inserted replaced
445:8cee34f58582 446:67819579944b 
    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://www21.in.tum.de/~urbanc/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A>
 
    99 <A HREF="http://www.inf.kcl.ac.uk/staff/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://www21.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://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 Isabelle 2011-1, then please get in touch with me
public_html