Commit bc34feb6 authored by Gerwin Klein's avatar Gerwin Klein
Browse files

catch another Isabelle 2017 reference

parent 42e189346d89
......@@ -17,7 +17,7 @@ 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 2017, and have downloaded your AFP directory to
If you are using Isabelle2018, 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>
......
......@@ -76,7 +76,7 @@ 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 2017, and have downloaded your AFP directory to
If you are using Isabelle2018, 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>
......
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