Admin/page/dist-content/source.content
author wenzelm
Wed, 13 Sep 2000 22:49:17 +0200
changeset 9954 734e0ec40f44
parent 9934 aea053733eb0
child 10006 ede5f78b9398
permissions -rw-r--r--
dummy (generated by makedist);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     1
%title%
8851
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
wenzelm
parents: 9920
diff changeset
    24
files for more information.  See the <!-- _GP_ href(distname
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>?