| author | paulson |
| Tue, 16 May 2006 18:20:26 +0200 | |
| changeset 19652 | f0594a06f2f0 |
| parent 19554 | bc0bef4a124e |
| permissions | -rw-r--r-- |
| 16673 | 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 |
||
| 16674 | 11 |
<body> |
| 16673 | 12 |
<?include file="//include/header.include.html"?> |
13 |
<div class="hr"><hr/></div> |
|
14 |
<?include file="//include/navigation.include.html"?> |
|
15 |
<div class="hr"><hr/></div> |
|
16 |
||
17 |
<div id="content"> |
|
| 16674 | 18 |
|
| 16673 | 19 |
<h2>Getting started</h2> |
20 |
||
| 17563 | 21 |
<a href="//img/tutorial_cover_big.gif"> |
22 |
<img class="right" src="//img/tutorial_cover_small.gif" alt="Cover " |
|
| 16673 | 23 |
width="83" height="125"/> |
24 |
</a> |
|
25 |
<p>For getting started with Isabelle quickly, we recommend the <a href= |
|
| 17671 | 26 |
"//dist/Isabelle/doc/tutorial.pdf">Tutorial on |
| 16673 | 27 |
Isabelle/HOL</a> (published by Springer Verlag as <a href= |
28 |
"http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>) and the <a href= |
|
29 |
"#course_material">course material</a>.</p> |
|
| 17563 | 30 |
<br clear="right" /> |
| 16673 | 31 |
|
32 |
<h2>Mailing list and FAQ</h2> |
|
33 |
||
34 |
<p>You may use the mailing list <a href= |
|
35 |
"mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its |
|
| 19094 | 36 |
<a href="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">archive</a> to discuss |
| 19533 | 37 |
problems and results. |
|
19652
f0594a06f2f0
replaced references to the robot by the mailing list page
paulson
parents:
19554
diff
changeset
|
38 |
Why not <a href="https://lists.cam.ac.uk/mailman/listinfo/cl-isabelle-users">subscribe</a>? |
|
f0594a06f2f0
replaced references to the robot by the mailing list page
paulson
parents:
19554
diff
changeset
|
39 |
</p> |
| 16673 | 40 |
<p>Please consult the <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent |
41 |
problems.</p> |
|
42 |
||
43 |
<h2>Isabelle Documentation</h2> |
|
44 |
||
45 |
<p><?value key="distname"?> documentation is |
|
46 |
included here as browsable PDF for convenience. These documents are also part |
|
47 |
of the standard Isabelle distribution.</p> |
|
48 |
||
49 |
<?include file="//include/documentationdist.include.html"?> |
|
50 |
||
51 |
<h3>Release notes</h3> |
|
52 |
||
53 |
<ul> |
|
| 17671 | 54 |
<li><a href="//dist/Isabelle/ANNOUNCE">ANNOUNCE</a></li> |
55 |
<li><a href="//dist/Isabelle/README.html">README</a></li> |
|
56 |
<li><a href="//dist/Isabelle/INSTALL">INSTALL</a></li> |
|
57 |
<li><a href="//dist/Isabelle/NEWS">NEWS</a></li> |
|
58 |
<li><a href="//dist/Isabelle/COPYRIGHT">COPYRIGHT</a></li> |
|
59 |
<li><a href="//dist/Isabelle/CONTRIBUTORS">CONTRIBUTORS</a></li> |
|
| 16673 | 60 |
</ul> |
61 |
||
62 |
<h2 id="course_material">Course Material and Exercises</h2> |
|
63 |
<p>The <a href= |
|
64 |
"http://isabelle.in.tum.de/coursematerial/">course material</a> page makes |
|
65 |
slides, demos, and exercises of a growing number of Isabelle courses |
|
66 |
available. It is meant as a resource for people who would like to learn |
|
67 |
Isabelle as well as for those who would like to teach it.</p> |
|
68 |
||
69 |
</div> |
|
70 |
<div class="hr"><hr/></div> |
|
71 |
<?include file="//include/footer.include.html"?> |
|
72 |
</body> |
|
73 |
||
74 |
</html> |