Commit 0a02bbeb authored by kleing's avatar kleing
Browse files

typo + update example to 2016-1

parent cccf4e1e3ba2
......@@ -49,7 +49,7 @@ proofs.</p>
<p>We encourage authors of publications that contain Isabelle developments
to make their theories available in the Archive of Formal Proofs and to refer
to the archive entry in their publication. It makes it easer for referees to
to the archive entry in their publication. It makes it easier for referees to
check the validity of theorems (all entries in the archive are
mechanically checked), it makes it easier for readers of the publication to
understand details of your development, and it makes it easier to use and
......
......@@ -17,13 +17,13 @@ your own developments. If you would like to make your work available to others
<i>without</i> having to include the AFP articles you depend on, here is how to do it.
</p>
<p>
If you are using Isabelle 2016, and have downloaded your AFP directory to
If you are using Isabelle 2016-1, and have downloaded your AFP directory to
<code>/home/myself/afp</code>, you should run the following commands
<a href="#1">[1]</a> <a href="#2">[2]</a>:</p>
<p>
<pre class="code">
mkdir -p ~/.isabelle/Isabelle2016/etc/
echo "/home/myself/afp" >> ~/.isabelle/Isabelle2016/etc/components
mkdir -p ~/.isabelle/Isabelle2016-1/etc/
echo "/home/myself/afp" >> ~/.isabelle/Isabelle2016-1/etc/components
</pre>
<p>
......
......@@ -108,7 +108,7 @@ proofs.</p>
<p>We encourage authors of publications that contain Isabelle developments
to make their theories available in the Archive of Formal Proofs and to refer
to the archive entry in their publication. It makes it easer for referees to
to the archive entry in their publication. It makes it easier for referees to
check the validity of theorems (all entries in the archive are
mechanically checked), it makes it easier for readers of the publication to
understand details of your development, and it makes it easier to use and
......
......@@ -76,13 +76,13 @@ your own developments. If you would like to make your work available to others
<i>without</i> having to include the AFP articles you depend on, here is how to do it.
</p>
<p>
If you are using Isabelle 2016, and have downloaded your AFP directory to
If you are using Isabelle 2016-1, and have downloaded your AFP directory to
<code>/home/myself/afp</code>, you should run the following commands
<a href="#1">[1]</a> <a href="#2">[2]</a>:</p>
<p>
<pre class="code">
mkdir -p ~/.isabelle/Isabelle2016/etc/
echo "/home/myself/afp" >> ~/.isabelle/Isabelle2016/etc/components
mkdir -p ~/.isabelle/Isabelle2016-1/etc/
echo "/home/myself/afp" >> ~/.isabelle/Isabelle2016-1/etc/components
</pre>
<p>
......
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