1 <?xml version='1.0' encoding='iso-8859-1' ?> |
|
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
|
3 <!-- $Id$ --> |
|
4 <html xmlns="http://www.w3.org/1999/xhtml"> |
|
5 |
|
6 <head> |
|
7 <title>Documentation</title> |
|
8 <?include file="//include/htmlheader.include.html"?> |
|
9 </head> |
|
10 |
|
11 <body class="dist"> |
|
12 <?include file="//include/header.include.html"?> |
|
13 <div class="hr"><hr/></div> |
|
14 <?include file="//include/navigation_dist.include.html"?> |
|
15 <div class="hr"><hr/></div> |
|
16 |
|
17 <div id="content"> |
|
18 <?include file="//include/mirrorlist.minor.include.html"?> |
|
19 <div class="hr"><hr/></div> |
|
20 <h2>Getting started</h2> |
|
21 |
|
22 <a href="//dist/img/tutorial_cover_big.gif"> |
|
23 <img class="left" src="//dist/img/tutorial_cover_small.gif" alt="Cover " |
|
24 width="83" height="125"/> |
|
25 </a> |
|
26 <p>For getting started with Isabelle quickly, we recommend the <a href= |
|
27 "//dist/packages/Isabelle/doc/tutorial.pdf">Tutorial on |
|
28 Isabelle/HOL</a> (published by Springer Verlag as <a href= |
|
29 "http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>) and the <a href= |
|
30 "#course_material">course material</a>.</p> |
|
31 <br clear="all" /> |
|
32 |
|
33 <h2>Mailing list and FAQ</h2> |
|
34 |
|
35 <p>You may use the mailing list <a href= |
|
36 "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its |
|
37 <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss |
|
38 problems and results. To subscribe, <a href= |
|
39 "mailto:lcp@cl.cam.ac.uk?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list"> |
|
40 contact Larry Paulson</a>.</p> |
|
41 <p>Please consult the <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent |
|
42 problems.</p> |
|
43 |
|
44 <h2>Isabelle Documentation</h2> |
|
45 |
|
46 <p><?value key="distname"?> documentation is |
|
47 included here as browsable PDF for convenience. These documents are also part |
|
48 of the standard Isabelle distribution.</p> |
|
49 |
|
50 <?include file="//include/documentationdist.include.html"?> |
|
51 |
|
52 <h3>Release notes</h3> |
|
53 |
|
54 <ul> |
|
55 <li><a href="//dist/packages/Isabelle/ANNOUNCE">ANNOUNCE</a></li> |
|
56 <li><a href="//dist/packages/Isabelle/README.html">README</a></li> |
|
57 <li><a href="//dist/packages/Isabelle/INSTALL">INSTALL</a></li> |
|
58 <li><a href="//dist/packages/Isabelle/NEWS">NEWS</a></li> |
|
59 <!-- <li><a href="//dist/packages/Isabelle/COPYRIGHT">COPYRIGHT</a></li> --> |
|
60 <!-- <li><a href="//dist/packages/Isabelle/CONTRIBUTORS">CONTRIBUTORS</a></li> --> |
|
61 </ul> |
|
62 |
|
63 <h2 id="course_material">Course Material and Exercises</h2> |
|
64 <p>The <a href= |
|
65 "http://isabelle.in.tum.de/coursematerial/">course material</a> page makes |
|
66 slides, demos, and exercises of a growing number of Isabelle courses |
|
67 available. It is meant as a resource for people who would like to learn |
|
68 Isabelle as well as for those who would like to teach it.</p> |
|
69 |
|
70 </div> |
|
71 <div class="hr"><hr/></div> |
|
72 <?include file="//include/footer.include.html"?> |
|
73 </body> |
|
74 |
|
75 </html> |
|