21 "http://www.apple.com/">Apple</a> computers. Because it is based on Unix, it |
21 "http://www.apple.com/">Apple</a> computers. Because it is based on Unix, it |
22 can run <a href= |
22 can run <a href= |
23 "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/">Isabelle</a>. The new |
23 "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/">Isabelle</a>. The new |
24 <a href="http://www.apple.com/powermac/">Power Mac G5</a> is an excellent |
24 <a href="http://www.apple.com/powermac/">Power Mac G5</a> is an excellent |
25 Isabelle machine. Here is a <a href= |
25 Isabelle machine. Here is a <a href= |
26 "../img/screenshot_isabelle_macos.jpg">screenshot</a> showing Proof General running |
26 "//dist/img/screenshot_isabelle_macos.jpg">screenshot</a> showing Proof General running |
27 in GNU Emacs.</p> |
27 in GNU Emacs.</p> |
28 |
28 |
29 <p>This page gives advice on building Isabelle for Mac OS X. It assumes that |
29 <p>This page gives advice on building Isabelle for Mac OS X. It assumes that |
30 you are familiar with both Mac OS X and Unix. You must have installed the Mac |
30 you are familiar with both Mac OS X and Unix. You must have installed the Mac |
31 OS X developer tools.</p> |
31 OS X developer tools.</p> |
32 |
32 |
33 <ol> |
33 <ol> |
34 <li>Download Isabelle to a suitable directory, as described on the |
34 <li>Download Isabelle to a suitable directory, as described on the |
35 <a href="packages.html">download page</a>. Be sure to get the following |
35 <a href="download.html">download page</a>. Be sure to get the following |
36 files |
36 files |
37 |
37 |
38 <ul> |
38 <ul> |
39 <li><?value key="distname"?>.tar.gz</li> |
39 <li><?value key="distname"?>.tar.gz</li> |
40 <li>ProofGeneral.tar.gz</li> |
40 <li>ProofGeneral.tar.gz</li> |