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

author	wenzelm
	Tue, 12 Sep 2000 17:01:14 +0200
changeset 9934	aea053733eb0
parent 9920	9734f2717203
child 10006	ede5f78b9398
permissions	-rw-r--r--