diff --git a/.config b/.config
index 2233798b..155bc718 100644
--- a/.config
+++ b/.config
@@ -1,6 +1,7 @@
 DOF_VERSION="Unreleased"
 ISABELLE_VERSION="Isabelle2019: June 2019"
 ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2019/"
+DOF_URL="https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"
 DOF_ARTIFACT_URL="https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF"
 AFP_DATE="afp-2019-06-17"
 AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
diff --git a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy
index 53bc974e..9a8e8427 100644
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy
@@ -729,7 +729,7 @@ text\<open> \isadof in its present form has a number of technical short-comings
 paragraph\<open> Availability. \<close> 
 text\<open> The implementation of the framework, the discussed ontology definitions, 
         and examples  are available at 
-        \url{https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF/}.\<close>
+        \url{\dofurl}.\<close>
 paragraph\<open> Acknowledgement. \<close> 
 text\<open> This work was partly supported by  the framework of IRT SystemX, Paris-Saclay, France, 
 and therefore granted with public funds within the scope of the Program ``Investissements d’Avenir''.\<close>
diff --git a/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy b/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy
index d943158b..ba13accb 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy
+++ b/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy
@@ -120,9 +120,8 @@ text\<open>
 subsubsection\<open>Availability\<close>
 text\<open>
   The implementation of the framework is available at 
-  \url{https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF/}. The website also provides
-  links to the latest releases. \isadof is licensed under a 2-clause BSD license 
-  (SPDX-License-Identifier: BSD-2-Clause).
+  \url{\dofurl}. The website also provides links to the latest releases. \isadof is licensed 
+  under a 2-clause BSD license (SPDX-License-Identifier: BSD-2-Clause).
 \<close>
 
 (*<*) 
diff --git a/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy b/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy
index cc531194..05624e0a 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy
+++ b/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy
@@ -689,7 +689,7 @@ text\<open>
     This is a Isabelle_DOF project. The doëëcument preparation requires
     the Isabelle_DOF framework. }{%
     For further help, see 
-    https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF}
+    ë\url{\dofurl}ë
 }
 \input{ontologies}             % This will include the document specific 
                                % ontologies from isadof.cfg
diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index 172d62a2..d1104eae 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -87,7 +87,7 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 This manual describes \isadof version \isadofversion.  
 
 The latest development version as well as previous releases are available at 
-\url{https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF}.
+\url{\dofurl}.
 
 \paragraph*{Contributors.} We would like to thank the following contributors to \isadof 
 (in alphabetical order): Idir Ait-Sadoune, Paolo Crisafulli, and Chantal Keller.
diff --git a/install b/install
index 9aeff914..1126eb16 100755
--- a/install
+++ b/install
@@ -213,6 +213,7 @@ install_and_register(){
       \\\\renewcommand{\\\\isabellefullversion}{$ISABELLE_VERSION\\\\xspace}\n \
       \\\\renewcommand{\\\\dof@version}{$DOF_VERSION}\n \
       \\\\renewcommand{\\\\isabelleurl}{$ISABELLE_URL}\n \
+      \\\\renewcommand{\\\\dofurl}{$DOF_URL}\n \
       \\\\renewcommand{\\\\dof@artifacturl}{$DOF_ARTIFACT_URL}|" \
       "$DIR/DOF-core.sty"
 
diff --git a/src/DOF/latex/DOF-core.sty b/src/DOF/latex/DOF-core.sty
index fc15f017..183dde21 100644
--- a/src/DOF/latex/DOF-core.sty
+++ b/src/DOF/latex/DOF-core.sty
@@ -25,6 +25,7 @@
 \RequirePackage{fp}
 
 \newcommand{\isabelleurl}{UNDEFINED}
+\newcommand{\dofurl}{UNDEFINED}
 \newcommand{\dof@isabelleversion}{UNDEFINED}
 \newcommand{\isabellefullversion}{UNDEFINED\xspace}
 \newcommand{\dof@version}{UNDEFINED}