Admin/page/main-content/docs.content
author paulson
Thu, 21 Apr 2005 13:15:25 +0200
changeset 15788 ebcbffebdf97
parent 15137 8a17799687e7
permissions -rw-r--r--
adding the Proof General preview
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%
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     5
10016
3833b58a5d88 improved pages;
wenzelm
parents: 9920
diff changeset
     6
<!-- _GP_ distname --> documentation is included here as browsable PDF
3833b58a5d88 improved pages;
wenzelm
parents: 9920
diff changeset
     7
for convenience.  These documents are also part of the standard
13087
879ac452101e inserted tutorial
kleing
parents: 10180
diff changeset
     8
Isabelle <a href="dist/index.html">distribution</a>.  For getting
879ac452101e inserted tutorial
kleing
parents: 10180
diff changeset
     9
started with Isabelle quickly, we recommend the 
879ac452101e inserted tutorial
kleing
parents: 10180
diff changeset
    10
<a href="dist/<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> --
879ac452101e inserted tutorial
kleing
parents: 10180
diff changeset
    11
published by Springer Verlag as <a
15137
8a17799687e7 include course material page
kleing
parents: 14574
diff changeset
    12
href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a> -- and the <a
8a17799687e7 include course material page
kleing
parents: 14574
diff changeset
    13
href="http://isabelle.in.tum.de/coursematerial/">course material</a>
8a17799687e7 include course material page
kleing
parents: 14574
diff changeset
    14
page. See the
14574
8c4f90bb769d add link to FAQ
kleing
parents: 13087
diff changeset
    15
<a href="faq.html">FAQ</a> for answers to frequent problems.
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    16
10016
3833b58a5d88 improved pages;
wenzelm
parents: 9920
diff changeset
    17
<!-- _GP_ include("$pwd/docu-contents.main") -->