24 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
24 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
25 <H2>Modelling homogeneous generative meta-programming: Artefact</H2> |
25 <H2>Modelling homogeneous generative meta-programming: Artefact</H2> |
26 |
26 |
27 Martin Berger, Laurence Tratt, Christian Urban |
27 Martin Berger, Laurence Tratt, Christian Urban |
28 <p> |
28 <p> |
|
29 |
|
30 <H4>For MacOS X</H4> |
29 <ul> |
31 <ul> |
30 <li>1. Download Isabelle<BR> |
32 <li>1. Download the Isabelle disk image file <a href="Isabelle2014-RC0.dmg">Isabelle2014-RC0.dmg</a>. |
31 <ul> |
33 Open the image file and move the file Isabelle2014-RC0 into a directory. |
32 <li>For Linux: <a href="Isabelle2014-RC0_linux.tar.gz">Isabelle2014-RC0_linux.tar.gz</a> |
34 <li>2. Download the artefact <a href="meta-compile.tgz">meta-compile.tgz</a>. Unpack this file into |
33 <li>For MacOSX: <a href="Isabelle2014-RC0.dmg">Isabelle2014-RC0.dmg</a> |
35 the same directory. This will create files <tt>Isabelle_Proofs.thy</tt> and <tt>ROOT</tt>, |
34 </ul> |
36 as well as the directory <tt>nominal2</tt>. |
35 <li>2. Download Artefact |
|
36 |
37 |
37 <li>3. Check Artefact |
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> |
38 |
40 |
39 <li>4. Inspect Artefact |
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> |
40 </u> |
43 </u> |
41 |
44 |
42 |
45 |
43 |
46 |
44 </TABLE> |
47 </TABLE> |
45 <P> |
48 <P> |
46 <!-- hhmts start --> Last modified: Mon Jul 7 00:04:10 BST 2014 <!-- hhmts end --> |
49 <!-- hhmts start --> Last modified: Tue Jul 8 12:51:26 BST 2014 <!-- hhmts end --> |
47 <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> |
48 </BODY> |
51 </BODY> |
49 </HTML> |
52 </HTML> |