author haftmann
Thu, 09 Jun 2005 11:04:54 +0200
changeset 16328 49c1f9dedc56
parent 16238 c1102cdf601f
child 16584 991ecdd985d9
permissions -rw-r--r--

<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "">
<!-- $Id$ -->
<html xmlns="">

    <?include file="//include/htmlheader.include.html"?>

<body class="dist">
    <?include file="//include/header.include.html"?>
    <div class="hr"><hr/></div>
    <?include file="//include/navigation_dist.include.html"?>
    <div class="hr"><hr/></div>

    <div id="content">

        <h2>Getting started</h2>

        <a href="//dist/img/tutorial_cover_big.gif">
            <img class="left" src="//dist/img/tutorial_cover_small.gif" alt="Cover " 
                width="83" height="125"/>
        <p>For getting started with Isabelle quickly, we recommend the <a href=
        "//dist/packages/Isabelle/doc/tutorial.pdf">Tutorial on
        Isabelle/HOL</a> (published by Springer Verlag as <a href=
        "">LNCS 2283</a>) and the <a href=
        "#course_material">course material</a>.</p>
        <br clear="all" />

        <h2>Mailing list and FAQ</h2>
          <p>You may use the mailing list <a href=
          ""></a> and its
          <a href="">archive</a> to discuss
          problems and results. To subscribe, <a href=
          contact Larry Paulson</a>.</p>
        <p>Please consult the <a href="">FAQ</a> for answers to frequent

        <h2>Isabelle Documentation</h2>

        <p><?value key="distname"?> documentation is
        included here as browsable PDF for convenience. These documents are also part
        of the standard Isabelle distribution.</p>

        <?include file="//include/documentationdist.include.html"?>

        <h3>Release notes</h3>

            <li><a href="//dist/packages/Isabelle/ANNOUNCE">ANNOUNCE</a></li>
            <li><a href="//dist/packages/Isabelle/README.html">README</a></li>
            <li><a href="//dist/packages/Isabelle/INSTALL">INSTALL</a></li>
            <li><a href="//dist/packages/Isabelle/NEWS">NEWS</a></li>
            <!-- <li><a href="//dist/packages/Isabelle/COPYRIGHT">COPYRIGHT</a></li> -->
            <!-- <li><a href="//dist/packages/Isabelle/CONTRIBUTORS">CONTRIBUTORS</a></li> -->

        <h2 id="course_material">Course Material and Exercises</h2>
        <p>The <a href=
            "">course material</a> page makes
        slides, demos, and exercises of a growing number of Isabelle courses
        available. It is meant as a resource for people who would like to learn
        Isabelle as well as for those who would like to teach it.</p>

    <div class="hr"><hr/></div>
    <?include file="//include/footer.include.html"?>