From 74ab956b11da0f472721e3a3d5a48d8ab3870e08 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 20 Apr 2020 18:51:04 +0100
Subject: [PATCH 1/2] Updated to the official Isabelle 2020 release and
 corresponding AFP version.

---
 .config | 6 +++---
 install | 2 --
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/.config b/.config
index d0c9a9f..692faa9 100644
--- a/.config
+++ b/.config
@@ -6,9 +6,9 @@ DOF_LATEST_DOI="10.5281/zenodo.3370483"
 DOF_GENERIC_DOI="10.5281/zenodo.3370482"
 #
 # Isabelle and AFP Configuration
-ISABELLE_VERSION="Isabelle2020-RC4: April 2020"
-ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2020-RC4/"
-AFP_DATE="afp-2020-04-17"
+ISABELLE_VERSION="Isabelle2020: April 2020"
+ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2020/"
+AFP_DATE="afp-2020-04-20"
 AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
 #
 # Isabelle/DOF Repository Configuration
diff --git a/install b/install
index 4f1ff07..68d5b5e 100755
--- a/install
+++ b/install
@@ -126,8 +126,6 @@ check_afp_entries() {
        fi
     done
     if [ "$missing" != "" ]; then 
-        echo "           Please install development version of AFP for Isabelle 2020 manually."
-        exit_error
         echo "           Trying to install AFP (this might take a few *minutes*) ...."
 	extract=""
 	for e in $missing; do

From aa74c32c7d1194109ea0d59e778a616d44a947e8 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 20 Apr 2020 18:54:22 +0100
Subject: [PATCH 2/2] Updated to the official Isabelle 2020 release and
 corresponding AFP version.

---
 README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 96c2bbe..0446833 100644
--- a/README.md
+++ b/README.md
@@ -20,9 +20,9 @@ foo@bar:~$ docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-u
 
 Isabelle/DOF has two major pre-requisites:
 
-* **Isabelle:** Isabelle/DOF requires [Isabelle 2020](http://isabelle.in.tum.de/website-Isabelle2020-RC4/).
+* **Isabelle:** Isabelle/DOF requires [Isabelle 2020](http://isabelle.in.tum.de/website-Isabelle2020/).
   Please download the Isabelle 2020 distribution for your operating
-  system from the [Isabelle website](http://isabelle.in.tum.de/website-Isabelle2020-RC4/).
+  system from the [Isabelle website](http://isabelle.in.tum.de/website-Isabelle2020/).
 * **LaTeX:** Isabelle/DOF requires a modern pdfTeX-engine supporting the \expanded{}-primitive. This
   is, for example, included in the [TeXLive 2019](https://www.tug.org/texlive/) (or later)
   distribution. Please follow the [TeXLive installation instructions](https://www.tug.org/texlive/acquire-netinstall.html)
@@ -41,7 +41,7 @@ one), the full path to the ``isabelle`` command needs to be passed as
 using the ``--isabelle`` command line argument of the ``install`` script:
 
 ```console
-foo@bar:~$ ./install --isabelle /usr/local/Isabelle2020-RC4/bin/isabelle
+foo@bar:~$ ./install --isabelle /usr/local/Isabelle2020/bin/isabelle
 ```
 
 For further command line options of the installer, please use the