diff --git a/README.md b/README.md
index f085da04..06f675e7 100755
--- a/README.md
+++ b/README.md
@@ -2,8 +2,8 @@
 
 Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle.
 Isabelle/DOF allows for both conventional typesetting as well as formal
-development. The manual for [Isabelle/DOF 1.1.0/Isabelle2021 is available 
-online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2021.pdf)
+development. The manual for [Isabelle/DOF 1.2.0/Isabelle2021 is available 
+online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.2.0_Isabelle2021.pdf)
 
 ## Running Isabelle/DOF using Docker
 
@@ -13,7 +13,7 @@ Docker supports X11 application, you can start Isabelle/DOF as follows:
 
 ```console
 foo@bar:~$ docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix \ 
-           logicalhacking/isabelle_dof-1.1.0_isabelle2021 isabelle jedit
+           logicalhacking/isabelle_dof-1.2.0_isabelle2021 isabelle jedit
 ```
 
 ## Pre-requisites
@@ -136,6 +136,10 @@ Usage: isabelle mkroot_DOF [OPTIONS] [DIR]
 For releases, signed archives including a PDF version of the Isabelle/DOF manual are
 are available:
 
+* Isabelle/DOF 1.2.0/Isabelle2021
+  * [Isabelle_DOF-1.2.0_Isabelle2021.pdf](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.2.0_Isabelle2021.pdf)
+  * [Isabelle_DOF-1.2.0_Isabelle2021.tar.xz](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.2.0_Isabelle2021.tar.xz)
+  * [Isabelle_DOF-1.2.0_Isabelle2021.tar.xz.asc](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.2.0_Isabelle2021.tar.xz.asc)
 * Isabelle/DOF 1.1.0/Isabelle2021
   * [Isabelle_DOF-1.1.0_Isabelle2021.pdf](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2021.pdf)
   * [Isabelle_DOF-1.1.0_Isabelle2021.tar.xz](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2021.tar.xz)