equal
deleted
inserted
replaced
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 |