| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Mon, 07 Jul 2014 00:04:37 +0100 | |
| changeset 289 | e168c45863e3 |
| parent 288 | 49baf2a17206 |
| child 290 | 5c77374e0f12 |
| permissions | -rw-r--r-- |
|
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> |
|
1d273a9f953b
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
286
diff
changeset
|
5 |
<BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/"> |
|
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> |
|
287
1d273a9f953b
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
286
diff
changeset
|
29 |
<ul> |
|
288
49baf2a17206
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
287
diff
changeset
|
30 |
<li>1. Download Isabelle<BR> |
|
49baf2a17206
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
287
diff
changeset
|
31 |
<ul> |
|
289
e168c45863e3
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
288
diff
changeset
|
32 |
<li>For Linux: <a href="Isabelle2014-RC0_linux.tar.gz">Isabelle2014-RC0_linux.tar.gz</a> |
|
e168c45863e3
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
288
diff
changeset
|
33 |
<li>For MacOSX: <a href="Isabelle2014-RC0.dmg">Isabelle2014-RC0.dmg</a> |
|
288
49baf2a17206
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
287
diff
changeset
|
34 |
</ul> |
|
49baf2a17206
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
287
diff
changeset
|
35 |
<li>2. Download Artefact |
|
49baf2a17206
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
287
diff
changeset
|
36 |
|
|
49baf2a17206
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
287
diff
changeset
|
37 |
<li>3. Check Artefact |
|
49baf2a17206
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
287
diff
changeset
|
38 |
|
|
49baf2a17206
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
287
diff
changeset
|
39 |
<li>4. Inspect Artefact |
|
287
1d273a9f953b
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
286
diff
changeset
|
40 |
</u> |
|
286
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
41 |
|
|
287
1d273a9f953b
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
286
diff
changeset
|
42 |
|
|
286
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
43 |
|
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
44 |
</TABLE> |
|
288
49baf2a17206
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
287
diff
changeset
|
45 |
<P> |
|
289
e168c45863e3
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
288
diff
changeset
|
46 |
<!-- hhmts start --> Last modified: Mon Jul 7 00:04:10 BST 2014 <!-- hhmts end --> |
|
286
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
47 |
<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
|
48 |
</BODY> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
49 |
</HTML> |