isabelle: Admin/page/dist-content/source.content@ede5f78b9398 (annotated)

8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	1	%title%
8851 d816ec3fab28 tuned; wenzelm parents: 8841 diff changeset	2	Isabelle Source Distribution
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	3
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	4	%body%
10006 ede5f78b9398 tuned; wenzelm parents: 9934 diff changeset	5	This is the pure source distribution of <!-- _GP_ distname -->. Note
ede5f78b9398 tuned; wenzelm parents: 9934 diff changeset	6	that the <a href="binary.html">binary distribution</a> includes all
ede5f78b9398 tuned; wenzelm parents: 9934 diff changeset	7	Isabelle sources as well.
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	8
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	9	<p>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	10
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	11	<!-- _GP_ setdowncolor("#E0E0E0") -->
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	12
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	13	<center>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	14	<table border="0" cellspacing="5" cellpadding="4" width="500">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	15
9920 9734f2717203 improved WWW page generation (still somewhat experimental); wenzelm parents: 8851 diff changeset	16	<!-- _GP_ download("Isabelle sources with dvi documentation", distname . ".tar.gz", "../..") -->
9734f2717203 improved WWW page generation (still somewhat experimental); wenzelm parents: 8851 diff changeset	17	<!-- _GP_ download("Documentation as pdf files", distname . "_pdf.tar.gz", "../..") -->
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	18
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	19	</table>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	20	</center>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	21
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	22	<p>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	23
10006 ede5f78b9398 tuned; wenzelm parents: 9934 diff changeset	24	See the Isabelle <!-- _GP_ href(distname . "/README.html", "README")
ede5f78b9398 tuned; wenzelm parents: 9934 diff changeset	25	--> and <!-- _GP_ href(distname . "/INSTALL", "INSTALL") --> files for
ede5f78b9398 tuned; wenzelm parents: 9934 diff changeset	26	more information. See the <!-- _GP_ href(distname . "/NEWS", "NEWS")
ede5f78b9398 tuned; wenzelm parents: 9934 diff changeset	27	--> file for a history user-relevant changes.
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	28
8070 dbbef2367723 some tuning (incorporated David's suggestions) kleing parents: 8056 diff changeset	29	<p>
dbbef2367723 some tuning (incorporated David's suggestions) kleing parents: 8056 diff changeset	30
9920 9734f2717203 improved WWW page generation (still somewhat experimental); wenzelm parents: 8851 diff changeset	31	Use the mailing list <a
9734f2717203 improved WWW page generation (still somewhat experimental); wenzelm parents: 8851 diff changeset	32	href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a>
9734f2717203 improved WWW page generation (still somewhat experimental); wenzelm parents: 8851 diff changeset	33	to discuss problems and results. Why not <a
9734f2717203 improved WWW page generation (still somewhat experimental); wenzelm parents: 8851 diff changeset	34	href="mailto:lcp@cl.cam.ac.uk">subscribe</a>?

author	wenzelm
	Sun, 17 Sep 2000 22:15:08 +0200
changeset 10006	ede5f78b9398
parent 9934	aea053733eb0
permissions	-rw-r--r--