diff --git a/.woodpecker/README.md b/.woodpecker/README.md
index 049fb95e..9e33d982 100644
--- a/.woodpecker/README.md
+++ b/.woodpecker/README.md
@@ -15,4 +15,4 @@ It may also contain additional tools and script that are useful for preparing a
 * pdflatex
   * [browser_info](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/pdflatex/browser_info/Unsorted/)
   * [aux files](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/pdflatex/)
-* [Isabelle_DOF-Unreleased_Isabelle2021-1.tar.xz](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/Isabelle_DOF-Unreleased_Isabelle2021-1.tar.xz)
+* [Isabelle_DOF-Unreleased_Isabelle2022.tar.xz](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/Isabelle_DOF-Unreleased_Isabelle2022.tar.xz)
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 5f14e64b..1eb853cf 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -11,6 +11,8 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.
 
 ### Changed
 
+- Updated Isabelle version to Isabelle 2022
+
 ## [1.3.0] - 2022-07-08
 
 ### Changed
diff --git a/README.md b/README.md
index 52ba0847..336f908b 100644
--- a/README.md
+++ b/README.md
@@ -9,10 +9,10 @@ online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF
 
 Isabelle/DOF has three major prerequisites:
 
-* **Isabelle:** Isabelle/DOF requires [Isabelle 2021-1](http://isabelle.in.tum.de/website-Isabelle2021-1/).
-  Please download the Isabelle 2021-1 distribution for your operating
+* **Isabelle:** Isabelle/DOF requires [Isabelle 2022](http://isabelle.in.tum.de/website-Isabelle2022/).
+  Please download the Isabelle 2022 distribution for your operating
   system from the [Isabelle
-  website](http://isabelle.in.tum.de/website-Isabelle2021-1/).
+  website](http://isabelle.in.tum.de/website-Isabelle2022/).
 * **AFP:** Isabelle/DOF requires two entries from the [Archive of
   Formal Proofs (AFP)](https://www.isa-afp.org/). Please install the
   AFP following the instructions given at
diff --git a/etc/options b/etc/options
index 27aa370c..0dc8e3a7 100644
--- a/etc/options
+++ b/etc/options
@@ -12,8 +12,8 @@ option dof_version : string = "Unreleased"
   -- "Isabelle/DOF version" 
      (* "Unreleased" for development, semantic version for releases *)
 
-option dof_isabelle : string = "2021-1" 
-option dof_afp : string = "afp-2021-12-28"
+option dof_isabelle : string = "2022" 
+option dof_afp : string = "afp-2022-10-27"
 
 option dof_latest_version : string = "1.3.0"    
 option dof_latest_isabelle : string = "Isabelle2021-1"
diff --git a/src/scala/dof_document_build.scala b/src/scala/dof_document_build.scala
index 31d8859f..b1f19195 100644
--- a/src/scala/dof_document_build.scala
+++ b/src/scala/dof_document_build.scala
@@ -82,7 +82,7 @@ object DOF_Document_Build
 
       // create dof-config.sty
       File.write(directory.doc_dir+Path.explode("dof-config.sty"), """
-\newcommand{\isabelleurl}{https://isabelle.in.tum.de/website-Isabelle2021-1/""" + context.options.string("dof_isabelle") + """}
+\newcommand{\isabelleurl}{https://isabelle.in.tum.de/website-Isabelle2022/""" + context.options.string("dof_isabelle") + """}
 \newcommand{\dofurl}{""" + context.options.string("dof_url") + """}
 \newcommand{\dof@isabelleversion}{""" + context.options.string("dof_isabelle") + """}
 \newcommand{\isabellefullversion}{""" + context.options.string("dof_isabelle") + """\xspace}