equal
deleted
inserted
replaced
27 Martin Berger, Laurence Tratt, Christian Urban |
27 Martin Berger, Laurence Tratt, Christian Urban |
28 <p> |
28 <p> |
29 <ul> |
29 <ul> |
30 <li>1. Download Isabelle<BR> |
30 <li>1. Download Isabelle<BR> |
31 <ul> |
31 <ul> |
32 <li>For Linux: <a href="">Isabelle2014-RC0_linux.tar.gz</a> |
32 <li>For Linux: <a href="Isabelle2014-RC0_linux.tar.gz">Isabelle2014-RC0_linux.tar.gz</a> |
33 <li>For MacOSX: <a href="">Isabelle2014-RC0.dmg</a> |
33 <li>For MacOSX: <a href="Isabelle2014-RC0.dmg">Isabelle2014-RC0.dmg</a> |
34 </ul> |
34 </ul> |
35 <li>2. Download Artefact |
35 <li>2. Download Artefact |
36 |
36 |
37 <li>3. Check Artefact |
37 <li>3. Check Artefact |
38 |
38 |
41 |
41 |
42 |
42 |
43 |
43 |
44 </TABLE> |
44 </TABLE> |
45 <P> |
45 <P> |
46 <!-- hhmts start --> Last modified: Sun Jul 6 23:41:56 BST 2014 <!-- hhmts end --> |
46 <!-- hhmts start --> Last modified: Mon Jul 7 00:04:10 BST 2014 <!-- hhmts end --> |
47 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
47 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
48 </BODY> |
48 </BODY> |
49 </HTML> |
49 </HTML> |