isabelle: Admin/page/dist-content/docs.content@2b3f9c493259 (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%
12845 66aaa0eb9069 Springer LNCS 2283; wenzelm parents: 11109 diff changeset	5
10006 ede5f78b9398 tuned; wenzelm parents: 9934 diff changeset	6	<!-- _GP_ distname --> documentation is included here as browsable PDF
ede5f78b9398 tuned; wenzelm parents: 9934 diff changeset	7	for convenience. These documents are also part of the standard
10162 947b7b8b0a69 tuned; wenzelm parents: 10018 diff changeset	8	Isabelle distribution. For getting started with Isabelle quickly, we
13053 68ffc262c766 tuned; wenzelm parents: 13010 diff changeset	9	recommend the <a href="<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial
68ffc262c766 tuned; 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 947b7b8b0a69 tuned; wenzelm parents: 10018 diff changeset	18	The Isabelle distribution also includes a few text files with further
947b7b8b0a69 tuned; wenzelm parents: 10018 diff changeset	19	information about the present release and additional installation
947b7b8b0a69 tuned; wenzelm parents: 10018 diff changeset	20	instructions.
10016 3833b58a5d88 improved pages; wenzelm parents: 10006 diff changeset	21	<ul>
11109 ce1cefc6c14c tuned; wenzelm parents: 10162 diff changeset	22	<li><!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") -->
ce1cefc6c14c tuned; wenzelm parents: 10162 diff changeset	23	<li><!-- _GP_ href(distname . "/README.html", "README") -->
ce1cefc6c14c tuned; wenzelm parents: 10162 diff changeset	24	<li><!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
ce1cefc6c14c tuned; wenzelm parents: 10162 diff changeset	25	<li><!-- _GP_ href(distname . "/NEWS", "NEWS") -->
10016 3833b58a5d88 improved pages; wenzelm parents: 10006 diff changeset	26	</ul>
10162 947b7b8b0a69 tuned; wenzelm parents: 10018 diff changeset	27
947b7b8b0a69 tuned; wenzelm parents: 10018 diff changeset	28	<p>
947b7b8b0a69 tuned; 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="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</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
95cc0d447916 improved "subscribe" link paulson parents: 15137 diff changeset	33	discuss problems and results. To subscribe, <a
95cc0d447916 improved "subscribe" link paulson parents: 15137 diff changeset	34	href="mailto:lcp@cl.cam.ac.uk?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact Larry Paulson</a>.
95cc0d447916 improved "subscribe" link paulson parents: 15137 diff changeset	35

author	kleing
	Tue, 01 Mar 2005 05:44:13 +0100
changeset 15553	2b3f9c493259
parent 15279	95cc0d447916
child 15559	10c5c689aa20
permissions	-rw-r--r--