Cookbook/main.html
changeset 601 fe430520b26c
parent 579 58c09367912e
child 615 38a926c8d66f
equal deleted inserted replaced
600:8628e9e9d73d 601:fe430520b26c
    92 
    92 
    93 
    93 
    94 <H3>Repository</H3>
    94 <H3>Repository</H3>
    95 
    95 
    96 A 
    96 A 
    97 <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A>
    97 <A HREF="http://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A>
    98 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>. 
    98 is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="http://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. 
    99 
    99 
   100 <H3>Stable Version</H3>
   100 <H3>Stable Version</H3>
   101 
   101 
   102 There is no real stable version of the Programming Tutorial yet. If you need a version 
   102 There is no real stable version of the Programming Tutorial yet. If you need a version 
   103 that is guaranteed to work with a stable version of Isabelle, then please get in touch with me 
   103 that is guaranteed to work with a stable version of Isabelle, then please get in touch with me