Admin/page/dist-content/packages.content
changeset 15947 393cfc718433
parent 15943 dd7b303465a2
child 15951 63ac2e550040
equal deleted inserted replaced
15946:94e5f157ab09 15947:393cfc718433
    45 <!-- _GP_ distname -->.tar.gz.
    45 <!-- _GP_ distname -->.tar.gz.
    46 
    46 
    47 <p>
    47 <p>
    48 
    48 
    49 <!-- _GP_ setdowncolor("\"#E0E0E0\"") -->
    49 <!-- _GP_ setdowncolor("\"#E0E0E0\"") -->
    50 <div style="text-align: center">
    50 <table border="0" cellspacing="5" cellpadding="4" width="520" style="margin: 0px auto 0px auto">
    51 
       
    52 <table border="0" cellspacing="5" cellpadding="4" width="520">
       
    53 
    51 
    54 <!-- _GP_ downloadhead("Isabelle") -->
    52 <!-- _GP_ downloadhead("Isabelle") -->
    55 <!-- _GP_ download(1, "Sources and documentation", distname . ".tar.gz", "../..") -->
    53 <!-- _GP_ download(1, "Sources and documentation", distname . ".tar.gz", "../..") -->
    56 <!-- _GP_ download(1, "Documentation in PDF", distname . "_pdf.tar.gz", "../..") -->
    54 <!-- _GP_ download(1, "Documentation in PDF", distname . "_pdf.tar.gz", "../..") -->
    57 <!-- _GP_ download(1, "Theory library in PDF and HTML", distname . "_library.tar.gz", "../..") -->
    55 <!-- _GP_ download(1, "Theory library in PDF and HTML", distname . "_library.tar.gz", "../..") -->
    79 <!-- _GP_ download(0, "", "ZF_sparc-solaris.tar.gz", "../..") -->
    77 <!-- _GP_ download(0, "", "ZF_sparc-solaris.tar.gz", "../..") -->
    80 <!-- _GP_ download(0, "", "ZF_ppc-darwin.tar.gz", "../..") -->
    78 <!-- _GP_ download(0, "", "ZF_ppc-darwin.tar.gz", "../..") -->
    81 
    79 
    82 <!-- _GP_ downloadhead("HOL4 proof terms") -->
    80 <!-- _GP_ downloadhead("HOL4 proof terms") -->
    83 <!-- _GP_ download(1, "HOL4 proof terms", "contrib/HOL4-proofs.tar.gz", "../..") -->
    81 <!-- _GP_ download(1, "HOL4 proof terms", "contrib/HOL4-proofs.tar.gz", "../..") -->
       
    82 </table>
    84 
    83 
    85 </table>
       
    86 </div>
       
    87 
    84 
    88 <p>
    85 <p>
    89 
    86 
    90 <h2>Installation</h2>
    87 <h2>Installation</h2>
    91 
    88 
   127 
   124 
   128 If Emacs appears to hang when the prover process is started, see the 
   125 If Emacs appears to hang when the prover process is started, see the 
   129 <A HREF="http://proofgeneral.inf.ed.ac.uk/FAQ">Proof General FAQ</a> 
   126 <A HREF="http://proofgeneral.inf.ed.ac.uk/FAQ">Proof General FAQ</a> 
   130 for advice.
   127 for advice.
   131 
   128 
   132 <h3>Further Information</h3>
   129 <h3>Other platforms</h3>
   133 
   130 
   134 <p>Although Isabelle is nativly designed for Unix environments
   131 <p>Although Isabelle is nativly designed for Unix environments
   135 (e.g. Solaris, Linux), it may also run under similar, Unix-like
   132 (e.g. Solaris, Linux), it may also run under similar, Unix-like
   136 platforms. The following installation instructions are hints
   133 platforms. The following installation instructions are hints
   137 contributed by Isabelle users.  Feel free to contact us for any
   134 contributed by Isabelle users.  Feel free to contact us for any