isabelle: Admin/page/main-content/docs.content@9b3397a848c3 (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
14574 8c4f90bb769d add link to FAQ kleing parents: 13087 diff changeset	12	href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>. See the
8c4f90bb769d add link to FAQ kleing parents: 13087 diff changeset	13	<a href="faq.html">FAQ</a> for answers to frequent problems.
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	14
10016 3833b58a5d88 improved pages; wenzelm parents: 9920 diff changeset	15	<!-- _GP_ include("$pwd/docu-contents.main") -->

author	kleing
	Mon, 19 Apr 2004 08:20:52 +0200
changeset 14624	9b3397a848c3
parent 14574	8c4f90bb769d
child 15137	8a17799687e7
permissions	-rw-r--r--