author kleing
Thu, 09 Dec 1999 11:34:32 +0100
changeset 8056 3c587e7b8fe5
child 8070 dbbef2367723
permissions -rw-r--r--
new webpage layout

Isabelle Source Releases

The source distribution of Isabelle:


<!-- _GP_ setdowncolor("#E0E0E0") -->

<table border="0" cellspacing="5" cellpadding="4" width="500">

  <!-- _GP_ download("Isabelle sources with dvi documentation", "{ISABELLE}.tar.gz", "{PACKED_SIZE} K") -->
  <!-- _GP_ download("Documentation as pdf files", "{ISABELLE}_pdf.tar.gz", "{PACKED_SIZE_PDF} K") -->
  <!-- _GP_ download("All files unpacked", "{ISABELLE}", "{UNPACKED_SIZE} K") -->



Please see the Isabelle <a href="{ISABELLE}/README.html">README</a> file for more information.