isabelle: Admin/page/dist-content/source.content@9734f2717203 (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") -->
9734f2717203 improved WWW page generation (still somewhat experimental); wenzelm parents: 8851 diff changeset	24	files for more information.
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	25
8070 dbbef2367723 some tuning (incorporated David's suggestions) kleing parents: 8056 diff changeset	26	<p>
dbbef2367723 some tuning (incorporated David's suggestions) kleing parents: 8056 diff changeset	27
9920 9734f2717203 improved WWW page generation (still somewhat experimental); wenzelm parents: 8851 diff changeset	28	Use the mailing list <a
9734f2717203 improved WWW page generation (still somewhat experimental); wenzelm parents: 8851 diff changeset	29	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	30	to discuss problems and results. Why not <a
9734f2717203 improved WWW page generation (still somewhat experimental); wenzelm parents: 8851 diff changeset	31	href="mailto:lcp@cl.cam.ac.uk">subscribe</a>?

author	wenzelm
	Mon, 11 Sep 2000 17:41:34 +0200
changeset 9920	9734f2717203
parent 8851	d816ec3fab28
child 9934	aea053733eb0
permissions	-rw-r--r--