Commit 8ab83baf authored by Gerwin Klein's avatar Gerwin Klein
Browse files

2019 -> 2020 in docs

parent d2b8bb8390f7
......@@ -17,12 +17,12 @@ 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 Isabelle2019, and have downloaded your AFP directory to
If you are using Isabelle2020, and have downloaded your AFP directory to
<code>/home/myself/afp</code>, you should run the following command
<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/Isabelle2019/ROOTS
echo "/home/myself/afp/thys" >> ~/.isabelle/Isabelle2020/ROOTS
</pre>
<p>
......
......@@ -76,12 +76,12 @@ 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 Isabelle2019, and have downloaded your AFP directory to
If you are using Isabelle2020, and have downloaded your AFP directory to
<code>/home/myself/afp</code>, you should run the following command
<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/Isabelle2019/ROOTS
echo "/home/myself/afp/thys" >> ~/.isabelle/Isabelle2020/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