Admin/page/dist-content/docs.content
author haftmann
Sun, 05 Jun 2005 14:33:02 +0200
changeset 16275 951803bff5b1
parent 15559 10c5c689aa20
permissions -rw-r--r--
a more spohisticated symlink handling
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     1
%title%
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     2
Isabelle Documentation
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     3
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     4
%body%
12845
66aaa0eb9069 Springer LNCS 2283;
wenzelm
parents: 11109
diff changeset
     5
10006
wenzelm
parents: 9934
diff changeset
     6
<!-- _GP_ distname --> documentation is included here as browsable PDF
wenzelm
parents: 9934
diff changeset
     7
for convenience.  These documents are also part of the standard
10162
wenzelm
parents: 10018
diff changeset
     8
Isabelle distribution.  For getting started with Isabelle quickly, we
13053
wenzelm
parents: 13010
diff changeset
     9
recommend the <a href="<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial
wenzelm
parents: 13010
diff changeset
    10
on Isabelle/HOL</a> -- published by Springer Verlag as <a
15137
8a17799687e7 include course material page
kleing
parents: 14574
diff changeset
    11
href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a> -- and the <a
8a17799687e7 include course material page
kleing
parents: 14574
diff changeset
    12
href="http://isabelle.in.tum.de/coursematerial/">course material</a>
8a17799687e7 include course material page
kleing
parents: 14574
diff changeset
    13
page. See the
14574
8c4f90bb769d add link to FAQ
kleing
parents: 14379
diff changeset
    14
<a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent problems.
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    15
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    16
<!-- _GP_ include("$pwd/docu-contents.dist") -->
10016
3833b58a5d88 improved pages;
wenzelm
parents: 10006
diff changeset
    17
10162
wenzelm
parents: 10018
diff changeset
    18
The Isabelle distribution also includes a few text files with further
wenzelm
parents: 10018
diff changeset
    19
information about the present release and additional installation
wenzelm
parents: 10018
diff changeset
    20
instructions.
10016
3833b58a5d88 improved pages;
wenzelm
parents: 10006
diff changeset
    21
<ul>
11109
wenzelm
parents: 10162
diff changeset
    22
<li><!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") -->
wenzelm
parents: 10162
diff changeset
    23
<li><!-- _GP_ href(distname . "/README.html", "README") -->
wenzelm
parents: 10162
diff changeset
    24
<li><!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
wenzelm
parents: 10162
diff changeset
    25
<li><!-- _GP_ href(distname . "/NEWS", "NEWS") -->
10016
3833b58a5d88 improved pages;
wenzelm
parents: 10006
diff changeset
    26
</ul>
10162
wenzelm
parents: 10018
diff changeset
    27
wenzelm
parents: 10018
diff changeset
    28
<p>
wenzelm
parents: 10018
diff changeset
    29
15553
2b3f9c493259 spider dogding
kleing
parents: 15279
diff changeset
    30
Use the mailing list <a
2b3f9c493259 spider dogding
kleing
parents: 15279
diff changeset
    31
href="&#109;&#97;&#105;&#108;&#116;&#111;:&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;">&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;</a>
15279
95cc0d447916 improved "subscribe" link
paulson
parents: 15137
diff changeset
    32
and its <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to
15559
10c5c689aa20 obscured the e-mail address lcp@cl
paulson
parents: 15553
diff changeset
    33
discuss problems and results.  To subscribe, <a href="&#109;&#97;&#105;&#108;&#116;&#111;:&#108;&#99;&#112;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact Larry Paulson</a>.
15279
95cc0d447916 improved "subscribe" link
paulson
parents: 15137
diff changeset
    34