isabelle: Admin/page/main-content/docs.content@8a17799687e7 (annotated)

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") -->

author	kleing
	Tue, 17 Aug 2004 01:20:29 +0200
changeset 15137	8a17799687e7
parent 14574	8c4f90bb769d
permissions	-rw-r--r--