equal
deleted
inserted
replaced
28 <a href="http://isabelle.in.tum.de/">Isabelle homepage</a> for more |
28 <a href="http://isabelle.in.tum.de/">Isabelle homepage</a> for more |
29 information.</dd> |
29 information.</dd> |
30 |
30 |
31 <dt>Where can I find documentation?</dt> |
31 <dt>Where can I find documentation?</dt> |
32 |
32 |
33 <dd><a href="http://isabelle.in.tum.de/docs.html">This way, please</a>. |
33 <dd><a href="http://isabelle.in.tum.de/documentation.html">This way, please</a>. |
34 Also have a look at the <a href= |
34 Also have a look at the <a href= |
35 "http://isabelle.in.tum.de/library/">theory library</a>.</dd> |
35 "http://isabelle.in.tum.de/dist/library/">theory library</a>.</dd> |
36 |
36 |
37 <dt>Is it available for download?</dt> |
37 <dt>Is it available for download?</dt> |
38 |
38 |
39 <dd>Yes, it is available from <a href= |
39 <dd>Yes, it is available from several mirror sites, e. g. from |
40 "http://isabelle.in.tum.de/dist/">several mirror sites</a>. It should run |
40 <a href="http://isabelle.in.tum.de">Munich</a>. It should run |
41 on most recent Unix systems (Solaris, Linux, MacOS X, etc.).</dd> |
41 on most recent Unix systems (Solaris, Linux, MacOS X, etc.).</dd> |
42 |
42 |
43 </dl> |
43 </dl> |
44 <h2>Syntax</h2> |
44 <h2>Syntax</h2> |
45 |
45 |
46 <dl class="faq"> |
46 <dl class="faq"> |