public_html: mc.html@fe430520b26c (annotated)

286 e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	"http://www.w3.org/TR/REC-html40/loose.dtd">
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	<HEAD>
287 1d273a9f953b updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 286 diff changeset	4	<TITLE>HGMP</TITLE>
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 293 diff changeset	5	<BASE HREF="http://nms.kcl.ac.uk/christian.urban/">
286 e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	</HEAD>
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	<BODY TEXT="#000000"
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	BGCOLOR="#4169E1"
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	LINK="#0000EF"
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	VLINK="#51188E"
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	ALINK="#FF0000">
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	<TABLE WIDTH="100%"
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	BGCOLOR="#4169E1"
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	BORDER="0"
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	FRAME="border"
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	CELLPADDING="10"
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	CELLSPACING="2"
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	RULES="all">
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	<!-- right column -->
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23	<TR>
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
287 1d273a9f953b updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 286 diff changeset	25	<H2>Modelling homogeneous generative meta-programming: Artefact</H2>
286 e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26
287 1d273a9f953b updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 286 diff changeset	27	Martin Berger, Laurence Tratt, Christian Urban
286 e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	<p>
290 5c77374e0f12 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 289 diff changeset	29
5c77374e0f12 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 289 diff changeset	30	<H4>For MacOS X</H4>
287 1d273a9f953b updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 286 diff changeset	31	<ul>
290 5c77374e0f12 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 289 diff changeset	32	<li>1. Download the Isabelle disk image file <a href="Isabelle2014-RC0.dmg">Isabelle2014-RC0.dmg</a>.
5c77374e0f12 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 289 diff changeset	33	Open the image file and move the file Isabelle2014-RC0 into a directory.
5c77374e0f12 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 289 diff changeset	34	<li>2. Download the artefact <a href="meta-compile.tgz">meta-compile.tgz</a>. Unpack this file into
5c77374e0f12 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 289 diff changeset	35	the same directory. This will create files <tt>Isabelle_Proofs.thy</tt> and <tt>ROOT</tt>,
5c77374e0f12 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 289 diff changeset	36	as well as the directory <tt>nominal2</tt>.
288 49baf2a17206 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 287 diff changeset	37
290 5c77374e0f12 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 289 diff changeset	38	<li>3. If you want to recheck the sources of the paper, start on the command line
291 a4a013146474 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 290 diff changeset	39	<p><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle build -d . MC</tt></p>
288 49baf2a17206 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 287 diff changeset	40
290 5c77374e0f12 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 289 diff changeset	41	<li>4. If you want to view and edit the sources of the paper, start on the command line
291 a4a013146474 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 290 diff changeset	42	<p><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle jedit Isabelle_Proofs.thy</tt></p>
293 7095bbf81303 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 292 diff changeset	43	</ul>
286 e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44
292 4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	45	<H4>For Linux</H4>
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	46	<ul>
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	47	<li>1. Download the Isabelle disk image file
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	48	<a href="Isabelle2014-RC0_linux.tar.gz">Isabelle2014-RC0_linux.tar.gz</a>.
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	49	Unpack this tgz-file into a directory using on the command line
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	50	<p><tt>tar -zxvf Isabelle2014-RC0_linux.tar.gz</tt></p>
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	51
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	52	<li>2. Download the artefact <a href="meta-compile.tgz">meta-compile.tgz</a>. Unpack this file into
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	53	the same directory. This will create files <tt>Isabelle_Proofs.thy</tt> and <tt>ROOT</tt>,
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	54	as well as the directory <tt>nominal2</tt>.
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	55
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	56	<li>3. If you want to recheck the sources of the paper, start on the command line
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	57	<p><tt>./Isabelle2014-RC0/bin/isabelle build -d . MC</tt></p>
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	58
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	59	<li>4. If you want to view and edit the sources of the paper, start on the command line
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	60	<p><tt>./Isabelle2014-RC0/bin/isabelle jedit Isabelle_Proofs.thy</tt></p>
4fed09c3b6d1 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 291 diff changeset	61	</u>
287 1d273a9f953b updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 286 diff changeset	62
286 e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	</TABLE>
288 49baf2a17206 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 287 diff changeset	65	<P>
293 7095bbf81303 updated mc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 292 diff changeset	66	<!-- hhmts start --> Last modified: Tue Jul 8 12:56:33 BST 2014 <!-- hhmts end -->
286 e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	</BODY>
e0f6eb0b5d53 added mc link Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	</HTML>

author	Christian Urban <urbanc@in.tum.de>
	Tue, 28 Jan 2020 11:47:27 +0000 (2020-01-28)
changeset 601	fe430520b26c
parent 465	4dac76eb27d9
permissions	-rw-r--r--