From eef387198adc22c8f2bd5892558ee321ef56e3ab Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 21 Jul 2019 10:22:06 +0100
Subject: [PATCH] Updated URL of Isabelle/DOF repository.

---
 examples/scholarly_paper/2018_cicm/IsaDofApplications.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy b/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy
index 6241c62..e64e4c4 100644
--- a/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy
+++ b/examples/scholarly_paper/2018_cicm/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/HOL-OCL/Isabelle_DOF/}.\<close>
+        \url{https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF/}.\<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>