equal
deleted
inserted
replaced
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 <ul> |
29 <ul> |
30 <li>1. Download Isabelle |
30 <li>1. Download Isabelle<BR> |
|
31 <ul> |
|
32 <li>For Linux: <a href="">Isabelle2014-RC0_linux.tar.gz</a> |
|
33 <li>For MacOSX: <a href="">Isabelle2014-RC0.dmg</a> |
|
34 </ul> |
|
35 <li>2. Download Artefact |
|
36 |
|
37 <li>3. Check Artefact |
|
38 |
|
39 <li>4. Inspect Artefact |
31 </u> |
40 </u> |
32 |
41 |
33 |
42 |
34 |
43 |
35 </TABLE> |
44 </TABLE> |
36 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
45 <P> |
37 <!-- hhmts start --> |
46 <!-- hhmts start --> Last modified: Sun Jul 6 23:41:56 BST 2014 <!-- hhmts end --> |
38 Last modified: Thu Feb 13 20:24:23 CET 2012 |
|
39 <!-- hhmts end --> |
|
40 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
47 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
41 </BODY> |
48 </BODY> |
42 </HTML> |
49 </HTML> |