diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile
index 6efadfd..e59b119 100644
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@@ -3,7 +3,7 @@ pipeline {
     stages {
         stage('Build') {
             steps {
-                sh 'docker run -v $PWD/:/WORKING logicalhacking:isabelle2018 isabelle build -D /WORKING'
+                sh 'docker run -v $PWD/:/WORKING logicalhacking:isabelle2019 isabelle build -D /WORKING'
             }
         }
     }
diff --git a/Assert.thy b/Assert.thy
index 4b8950a..8ceba33 100644
--- a/Assert.thy
+++ b/Assert.thy
@@ -1,5 +1,5 @@
 (***********************************************************************************
- * Copyright (c) 2018 Achim D. Brucker
+ * Copyright (c) 2018-2019 Achim D. Brucker
  *
  * All rights reserved.
  *
diff --git a/Hiding_Type_Variables.thy b/Hiding_Type_Variables.thy
index b55229c..dc6aea2 100644
--- a/Hiding_Type_Variables.thy
+++ b/Hiding_Type_Variables.thy
@@ -1,5 +1,5 @@
 (***********************************************************************************
- * Copyright (c) 2018 Achim D. Brucker
+ * Copyright (c) 2018-2019 Achim D. Brucker
  *
  * All rights reserved.
  *
diff --git a/README.md b/README.md
index 3aa90f9..1a8e89a 100644
--- a/README.md
+++ b/README.md
@@ -5,7 +5,7 @@ functionality to [Isabelle](https://isabelle.in.tum.de) or showcase
 specific functionality. The individual hacks usually consist out of 
 a single theory file and all documentation is contained in that 
 theory file. The master branch should work with the latest official 
-release of Isabelle (Isabelle 2018, at time of writing), hacks for 
+release of Isabelle (Isabelle 2019, at time of writing), hacks for 
 older versions might be available on a dedicated branch.
 
 ## List of Isabelle Hacks
diff --git a/document/root.tex b/document/root.tex
index 33c45f6..59f3249 100644
--- a/document/root.tex
+++ b/document/root.tex
@@ -67,7 +67,7 @@
       specific functionality. The individual hacks usually consist out of 
       a single theory file and all documentation is contained in that 
       theory file. The master branch should work with the latest official 
-      release of Isabelle (Isabelle 2018, at time of writing), hacks for 
+      release of Isabelle (Isabelle 2019, at time of writing), hacks for 
       older versions might be available on a dedicated branch.
 
     %\bigskip