equal
deleted
inserted
replaced
34 <li>2. Download the artefact <a href="meta-compile.tgz">meta-compile.tgz</a>. Unpack this file into |
34 <li>2. Download the artefact <a href="meta-compile.tgz">meta-compile.tgz</a>. Unpack this file into |
35 the same directory. This will create files <tt>Isabelle_Proofs.thy</tt> and <tt>ROOT</tt>, |
35 the same directory. This will create files <tt>Isabelle_Proofs.thy</tt> and <tt>ROOT</tt>, |
36 as well as the directory <tt>nominal2</tt>. |
36 as well as the directory <tt>nominal2</tt>. |
37 |
37 |
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 <center><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle build -d . MC</tt></center> |
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 <center><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle jedit Isabelle_Proofs.thy</tt></center> |
42 <p><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle jedit Isabelle_Proofs.thy</tt></p> |
43 </u> |
43 </u> |
44 |
44 |
45 |
45 |
46 |
46 |
47 </TABLE> |
47 </TABLE> |
48 <P> |
48 <P> |
49 <!-- hhmts start --> Last modified: Tue Jul 8 12:51:26 BST 2014 <!-- hhmts end --> |
49 <!-- hhmts start --> Last modified: Tue Jul 8 12:53:13 BST 2014 <!-- hhmts end --> |
50 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
50 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
51 </BODY> |
51 </BODY> |
52 </HTML> |
52 </HTML> |