equal
deleted
inserted
replaced
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 </u> |
44 |
44 |
|
45 <H4>For Linux</H4> |
|
46 <ul> |
|
47 <li>1. Download the Isabelle disk image file |
|
48 <a href="Isabelle2014-RC0_linux.tar.gz">Isabelle2014-RC0_linux.tar.gz</a>. |
|
49 Unpack this tgz-file into a directory using on the command line |
|
50 <p><tt>tar -zxvf Isabelle2014-RC0_linux.tar.gz</tt></p> |
|
51 |
|
52 <li>2. Download the artefact <a href="meta-compile.tgz">meta-compile.tgz</a>. Unpack this file into |
|
53 the same directory. This will create files <tt>Isabelle_Proofs.thy</tt> and <tt>ROOT</tt>, |
|
54 as well as the directory <tt>nominal2</tt>. |
|
55 |
|
56 <li>3. If you want to recheck the sources of the paper, start on the command line |
|
57 <p><tt>./Isabelle2014-RC0/bin/isabelle build -d . MC</tt></p> |
|
58 |
|
59 <li>4. If you want to view and edit the sources of the paper, start on the command line |
|
60 <p><tt>./Isabelle2014-RC0/bin/isabelle jedit Isabelle_Proofs.thy</tt></p> |
|
61 </u> |
45 |
62 |
46 |
63 |
47 </TABLE> |
64 </TABLE> |
48 <P> |
65 <P> |
49 <!-- hhmts start --> Last modified: Tue Jul 8 12:53:13 BST 2014 <!-- hhmts end --> |
66 <!-- hhmts start --> Last modified: Tue Jul 8 12:56:02 BST 2014 <!-- hhmts end --> |
50 <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> |
51 </BODY> |
68 </BODY> |
52 </HTML> |
69 </HTML> |