Commit 21667eb3 authored by kleing's avatar kleing
Browse files

more tweaks to referral instructions; linked into rest

parent 5ca2397286ed
......@@ -41,7 +41,7 @@
href="http://sourceforge.net/project/showfiles.php?group_id=101909">sourceforge
download system</a> to access older versions of the archive.</td></tr>
<tr><td class="head">Development snapshot (for development snapshot
<tr><td class="head">Development snapshot (for development snapshot
of Isabelle):</td></tr>
<tr><td class="entry">
......@@ -60,6 +60,9 @@
href="http://afp.hg.sourceforge.net/hgweb/afp/afp/">browse</a> the
development repository online.</td></tr>
<tr><td class="head">How to refer to AFP entries:</td></tr>
<tr><td class="entry">You can refer to AFP entries by using the <a href="using.shtml">AFP as an Isabelle component</a>.</td></tr>
</tbody></table></td> </tr> </table>
</body>
</html>
......@@ -53,7 +53,9 @@ href="&#109;&#97;&#105;&#108;&#116;&#111;:&#97;&#102;&#112;-&#115;&#117;&#98;&#1
that contains further information.</p>
<p>It is possible and encouraged to build on other archive entries
in your submission.</p>
in your submission. There is a standardized way to
<a href="using.shtml">refer to other AFP entries</a> in your
theories.</p>
<p>Your submission will be refereed and you will receive notification
as soon as possible. If accepted, you must agree to maintain your
......
......@@ -22,7 +22,7 @@
<div align="center">
<p>&nbsp;</p>
<h1><font class="first">R</font>eferring to
<font class="first">AFP</font>
<font class="first">A</font>FP
<font class="first">E</font>ntries</h1>
<p>&nbsp;</p>
......@@ -54,8 +54,8 @@ theories. Users of your distribution also need to install the AFP in the above
manner.</p>
Example: you are using Isabelle2012, and have downloaded your afp directory to
<code>~/isabelle/afp</code>. You would add the line
<code>~/isabelle/afp</code> to the file <code>~/.isabelle/components</code>.
<code>~/afp</code>. You would add the line
<code>~/afp</code> to the file <code>~/.isabelle/components</code>.
</td></tr>
</tbody>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment