This instance will be upgraded to Heptapod 0.23.2 on 2021-08-05 at 11:00 UTC+2 (a few minutes of down time)

Commit 0704764f authored by Gerwin Klein's avatar Gerwin Klein
Browse files

set version to 2021

parent 7dde2c633ece
# -*- shell-script -*-
# AFP version of this repository ("devel" or "2016-1", "2017" etc)
VERSION=devel
VERSION=2021
......@@ -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 Isabelle2020, and have downloaded your AFP directory to
If you are using Isabelle2021, 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/Isabelle2020/ROOTS
echo "/home/myself/afp/thys" >> ~/.isabelle/Isabelle2021/ROOTS
</pre>
<p>
......
......@@ -97,6 +97,14 @@ MathJax = {
</td>
</tr>
<tr>
<td class="datahead">
Contributor:
</td>
<td class="data">
<a href="https://www21.in.tum.de/~eberlm">Manuel Eberl</a>
</td>
</tr>
<tr>
......
This diff is collapsed.
......@@ -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 Isabelle2020, and have downloaded your AFP directory to
If you are using Isabelle2021, 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/Isabelle2020/ROOTS
echo "/home/myself/afp/thys" >> ~/.isabelle/Isabelle2021/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