--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/documentation.html	Mon Jul 04 14:42:06 2005 +0200
@@ -0,0 +1,75 @@
+<?xml version='1.0' encoding='iso-8859-1' ?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+    <title>Documentation</title>
+    <?include file="//include/htmlheader.include.html"?>
+</head>
+
+<body class="dist">
+    <?include file="//include/header.include.html"?>
+    <div class="hr"><hr/></div>
+    <?include file="//include/navigation.include.html"?>
+    <div class="hr"><hr/></div>
+
+    <div id="content">
+        <?include file="//include/mirrorlist.include.html"?>
+        <div class="hr"><hr/></div>
+        <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"/>
+        </a>
+        <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=
+        "http://www4.in.tum.de/~nipkow/LNCS2283/">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=
+          "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
+          <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss
+          problems and results. To subscribe, <a href=
+          "mailto:lcp@cl.cam.ac.uk?subject=subscribe&amp;body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">
+          contact Larry Paulson</a>.</p>
+        <p>Please consult the <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent
+        problems.</p>
+
+        <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>
+
+          <ul>
+            <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> -->
+          </ul>
+
+        <h2 id="course_material">Course Material and Exercises</h2>
+        <p>The <a href=
+            "http://isabelle.in.tum.de/coursematerial/">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>
+    <div class="hr"><hr/></div>
+    <?include file="//include/footer.include.html"?>
+</body>
+
+</html>