Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/include/downloadtable.include.html
author haftmann
Sat, 04 Jun 2005 10:26:08 +0200
changeset 16233 e634d33deb86
child 16239 5be516f79075
permissions -rw-r--r--
added new website
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">
e634d33deb86 added new website
haftmann
parents:
diff changeset 
     3
 
<?cvs id="$Id$"?>
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
 














isabelle