<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" + −
"http://www.w3.org/TR/REC-html40/loose.dtd"> + −
<HEAD>+ −
<TITLE>HGMP</TITLE>+ −
<BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">+ −
</HEAD>+ −
+ − <BODY TEXT="#000000" + −
BGCOLOR="#4169E1" + −
LINK="#0000EF" + −
VLINK="#51188E" + −
ALINK="#FF0000">+ −
+ − <TABLE WIDTH="100%" + −
BGCOLOR="#4169E1" + −
BORDER="0" + −
FRAME="border" + −
CELLPADDING="10" + −
CELLSPACING="2"+ −
RULES="all">+ −
+ − <!-- right column -->+ −
<TR>+ −
<TD BGCOLOR="#FFFFFF" WIDTH="75%">+ −
<H2>Modelling homogeneous generative meta-programming: Artefact</H2>+ −
+ −
Martin Berger, Laurence Tratt, Christian Urban+ −
<p>+ −
+ − <H4>For MacOS X</H4> + −
<ul>+ −
<li>1. Download the Isabelle disk image file <a href="Isabelle2014-RC0.dmg">Isabelle2014-RC0.dmg</a>.+ −
Open the image file and move the file Isabelle2014-RC0 into a directory.+ −
<li>2. Download the artefact <a href="meta-compile.tgz">meta-compile.tgz</a>. Unpack this file into+ −
the same directory. This will create files <tt>Isabelle_Proofs.thy</tt> and <tt>ROOT</tt>,+ −
as well as the directory <tt>nominal2</tt>.+ −
+ − <li>3. If you want to recheck the sources of the paper, start on the command line+ −
<p><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle build -d . MC</tt></p>+ −
+ − <li>4. If you want to view and edit the sources of the paper, start on the command line+ −
<p><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle jedit Isabelle_Proofs.thy</tt></p>+ −
</ul>+ −
+ − <H4>For Linux</H4> + −
<ul>+ −
<li>1. Download the Isabelle disk image file+ −
<a href="Isabelle2014-RC0_linux.tar.gz">Isabelle2014-RC0_linux.tar.gz</a>.+ −
Unpack this tgz-file into a directory using on the command line+ −
<p><tt>tar -zxvf Isabelle2014-RC0_linux.tar.gz</tt></p> + −
+ − <li>2. Download the artefact <a href="meta-compile.tgz">meta-compile.tgz</a>. Unpack this file into+ −
the same directory. This will create files <tt>Isabelle_Proofs.thy</tt> and <tt>ROOT</tt>,+ −
as well as the directory <tt>nominal2</tt>.+ −
+ − <li>3. If you want to recheck the sources of the paper, start on the command line+ −
<p><tt>./Isabelle2014-RC0/bin/isabelle build -d . MC</tt></p>+ −
+ − <li>4. If you want to view and edit the sources of the paper, start on the command line+ −
<p><tt>./Isabelle2014-RC0/bin/isabelle jedit Isabelle_Proofs.thy</tt></p>+ −
</u>+ −
+ − + − </TABLE>+ −
<P>+ −
<!-- hhmts start --> Last modified: Tue Jul 8 12:56:33 BST 2014 <!-- hhmts end -->+ −
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>+ −
</BODY>+ −
</HTML>+ −