equal
deleted
inserted
replaced
38 <li>3. If you want to recheck the sources of the paper, start on the command line |
38 <li>3. If you want to recheck the sources of the paper, start on the command line |
39 <p><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle build -d . MC</tt></p> |
39 <p><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle build -d . MC</tt></p> |
40 |
40 |
41 <li>4. If you want to view and edit the sources of the paper, start on the command line |
41 <li>4. If you want to view and edit the sources of the paper, start on the command line |
42 <p><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle jedit Isabelle_Proofs.thy</tt></p> |
42 <p><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle jedit Isabelle_Proofs.thy</tt></p> |
43 </u> |
43 </ul> |
44 |
44 |
45 <H4>For Linux</H4> |
45 <H4>For Linux</H4> |
46 <ul> |
46 <ul> |
47 <li>1. Download the Isabelle disk image file |
47 <li>1. Download the Isabelle disk image file |
48 <a href="Isabelle2014-RC0_linux.tar.gz">Isabelle2014-RC0_linux.tar.gz</a>. |
48 <a href="Isabelle2014-RC0_linux.tar.gz">Isabelle2014-RC0_linux.tar.gz</a>. |
61 </u> |
61 </u> |
62 |
62 |
63 |
63 |
64 </TABLE> |
64 </TABLE> |
65 <P> |
65 <P> |
66 <!-- hhmts start --> Last modified: Tue Jul 8 12:56:02 BST 2014 <!-- hhmts end --> |
66 <!-- hhmts start --> Last modified: Tue Jul 8 12:56:33 BST 2014 <!-- hhmts end --> |
67 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
67 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
68 </BODY> |
68 </BODY> |
69 </HTML> |
69 </HTML> |