Admin/website/include/downloadtable.include.html
author haftmann
Sun, 05 Jun 2005 14:33:02 +0200
changeset 16275 951803bff5b1
parent 16239 5be516f79075
child 17661 994d010c0abd
permissions -rw-r--r--
a more spohisticated symlink handling
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
     1
<?xml version='1.0' encoding='iso-8859-1' ?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     2
<!DOCTYPE table PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
16239
5be516f79075 added shellcmd style
haftmann
parents: 16233
diff changeset
     3
<!-- $Id$ -->
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
     4
<table class="download">
e634d33deb86 added new website
haftmann
parents:
diff changeset
     5
  <tr><td colspan="3" class="downloadheader">Isabelle</td></tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     6
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     7
    <td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     8
      Sources and documentation
e634d33deb86 added new website
haftmann
parents:
diff changeset
     9
    </td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    10
    <?downloadCells target="//dist/packages/Isabelle2004.tar.gz" title="Isabelle2004.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    11
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    12
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    13
    <td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    14
      Documentation in PDF
e634d33deb86 added new website
haftmann
parents:
diff changeset
    15
    </td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    16
    <?downloadCells target="//dist/packages/Isabelle2004_pdf.tar.gz" title="Isabelle2004_pdf.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    17
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    18
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    19
    <td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    20
      Theory library in PDF and HTML
e634d33deb86 added new website
haftmann
parents:
diff changeset
    21
    </td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    22
    <?downloadCells target="//dist/packages/Isabelle2004_library.tar.gz" title="Isabelle2004_library.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    23
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    24
  <tr><td colspan="3" class="downloadheader">Proof General</td></tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    25
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    26
    <td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    27
      Proof General
e634d33deb86 added new website
haftmann
parents:
diff changeset
    28
    </td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    29
    <?downloadCells target="//dist/packages/contrib/ProofGeneral-3.5.tar.gz" title="ProofGeneral-3.5.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    30
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    31
  <tr><td colspan="3" class="downloadheader">Poly/ML compiler and runtime system</td></tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    32
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    33
    <td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    34
      Poly/ML base system
e634d33deb86 added new website
haftmann
parents:
diff changeset
    35
    </td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    36
    <?downloadCells target="//dist/packages/contrib/polyml_base.tar.gz" title="polyml_base.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    37
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    38
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    39
    <td rowspan="3">
e634d33deb86 added new website
haftmann
parents:
diff changeset
    40
      Poly/ML binary modules
e634d33deb86 added new website
haftmann
parents:
diff changeset
    41
    </td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    42
    <?downloadCells target="//dist/packages/contrib/polyml_x86-linux.tar.gz" title="polyml_x86-linux.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    43
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    44
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    45
    <td style="display: none"></td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    46
    <?downloadCells target="//dist/packages/contrib/polyml_sparc-solaris.tar.gz" title="polyml_sparc-solaris.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    47
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    48
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    49
    <td style="display: none"></td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    50
    <?downloadCells target="//dist/packages/contrib/polyml_ppc-darwin.tar.gz" title="polyml_ppc-darwin.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    51
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    52
  <tr><td colspan="3" class="downloadheader">Precompiled logics</td></tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    53
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    54
    <td rowspan="3">
e634d33deb86 added new website
haftmann
parents:
diff changeset
    55
      HOL
e634d33deb86 added new website
haftmann
parents:
diff changeset
    56
    </td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    57
    <?downloadCells target="//dist/packages/HOL_x86-linux.tar.gz" title="HOL_x86-linux.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    58
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    59
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    60
    <td style="display: none"></td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    61
    <?downloadCells target="//dist/packages/HOL_sparc-solaris.tar.gz" title="HOL_sparc-solaris.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    62
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    63
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    64
    <td style="display: none"></td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    65
    <?downloadCells target="//dist/packages/HOL_ppc-darwin.tar.gz" title="HOL_ppc-darwin.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    66
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    67
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    68
    <td rowspan="3">
e634d33deb86 added new website
haftmann
parents:
diff changeset
    69
      HOL-Complex
e634d33deb86 added new website
haftmann
parents:
diff changeset
    70
    </td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    71
    <?downloadCells target="//dist/packages/HOL-Complex_x86-linux.tar.gz" title="HOL-Complex_x86-linux.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    72
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    73
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    74
    <td style="display: none"></td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    75
    <?downloadCells target="//dist/packages/HOL-Complex_sparc-solaris.tar.gz" title="HOL-Complex_sparc-solaris.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    76
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    77
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    78
    <td style="display: none"></td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    79
    <?downloadCells target="//dist/packages/HOL-Complex_ppc-darwin.tar.gz" title="HOL-Complex_ppc-darwin.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    80
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    81
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    82
    <td rowspan="3">
e634d33deb86 added new website
haftmann
parents:
diff changeset
    83
      HOL4
e634d33deb86 added new website
haftmann
parents:
diff changeset
    84
    </td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    85
    <?downloadCells target="//dist/packages/HOL4_x86-linux.tar.gz" title="HOL4_x86-linux.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    86
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    87
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    88
    <td style="display: none"></td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    89
    <?downloadCells target="//dist/packages/HOL4_sparc-solaris.tar.gz" title="HOL4_sparc-solaris.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    90
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    91
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    92
    <td style="display: none"></td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    93
    <?downloadCells target="//dist/packages/HOL4_ppc-darwin.tar.gz" title="HOL4_ppc-darwin.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    94
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    95
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    96
    <td rowspan="3">
e634d33deb86 added new website
haftmann
parents:
diff changeset
    97
      ZF
e634d33deb86 added new website
haftmann
parents:
diff changeset
    98
    </td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    99
    <?downloadCells target="//dist/packages/ZF_x86-linux.tar.gz" title="ZF_x86-linux.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   100
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   101
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   102
    <td style="display: none"></td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   103
    <?downloadCells target="//dist/packages/ZF_sparc-solaris.tar.gz" title="ZF_sparc-solaris.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   104
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   105
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   106
    <td style="display: none"></td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   107
    <?downloadCells target="//dist/packages/ZF_ppc-darwin.tar.gz" title="ZF_ppc-darwin.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   108
  </tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   109
  <tr><td colspan="3" class="downloadheader">HOL4 proof terms</td></tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   110
  <tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   111
    <td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   112
      HOL4 proof terms
e634d33deb86 added new website
haftmann
parents:
diff changeset
   113
    </td>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   114
    <?downloadCells target="//dist/packages/contrib/HOL4-proofs.tar.gz" title="HOL4-proofs.tar.gz"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   115
</tr>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   116
</table>
e634d33deb86 added new website
haftmann
parents:
diff changeset
   117