Commit 4f996a34 authored by Gerwin Klein's avatar Gerwin Klein
Browse files

2017 -> 2018 in instructions

parent d3777a279b17
......@@ -51,7 +51,7 @@
name of the entry. We strongly encourage precisely one session per
entry, but exceptions can be made. All sessions must be in group
(AFP), and all theory files of the submission must be contained in
at least one session. See also the example <a href="https://bitbucket.org/isa-afp/afp-2017/src/default/thys/Example-Submission/ROOT">ROOT</a> file
at least one session. See also the example <a href="https://bitbucket.org/isa-afp/afp-2018/src/default/thys/Example-Submission/ROOT">ROOT</a> file
in the <a href="entries/Example-Submission.html">Example submission</a>.
</ul>
......
......@@ -22,7 +22,7 @@ If you are using Isabelle 2017, and have downloaded your AFP directory to
<a href="#1">[1]</a> to make the AFP session ROOTS available to Isabelle:</p>
<p>
<pre class="code">
echo "/home/myself/afp/thys" >> ~/.isabelle/Isabelle2017/ROOTS
echo "/home/myself/afp/thys" >> ~/.isabelle/Isabelle2018/ROOTS
</pre>
<p>
......
......@@ -110,7 +110,7 @@
name of the entry. We strongly encourage precisely one session per
entry, but exceptions can be made. All sessions must be in group
(AFP), and all theory files of the submission must be contained in
at least one session. See also the example <a href="https://bitbucket.org/isa-afp/afp-2017/src/default/thys/Example-Submission/ROOT">ROOT</a> file
at least one session. See also the example <a href="https://bitbucket.org/isa-afp/afp-2018/src/default/thys/Example-Submission/ROOT">ROOT</a> file
in the <a href="entries/Example-Submission.html">Example submission</a>.
</ul>
......
......@@ -81,7 +81,7 @@ If you are using Isabelle 2017, and have downloaded your AFP directory to
<a href="#1">[1]</a> to make the AFP session ROOTS available to Isabelle:</p>
<p>
<pre class="code">
echo "/home/myself/afp/thys" >> ~/.isabelle/Isabelle2017/ROOTS
echo "/home/myself/afp/thys" >> ~/.isabelle/Isabelle2018/ROOTS
</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