Mercurial Mercurial > hg > public_html / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
mc.html
author Christian Urban <christian.urban@kcl.ac.uk>
Sat, 08 Jul 2023 21:24:18 +0100
changeset 634 f365ce636294
parent 465 4dac76eb27d9
permissions -rw-r--r--
updated link

<!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://nms.kcl.ac.uk/christian.urban/">
</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>
public_html