Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF

.ci/mk_release

@@ -94,10 +94,10 @@ build_and_install_manuals()
 
     (cd $ISADOF_WORK_DIR && ./install)
 
+    mkdir -p $ISADOF_WORK_DIR/doc
     echo "Isabelle/DOF Manuals!" > $ISADOF_WORK_DIR/doc/Contents
     
     (cd $ISADOF_WORK_DIR && $ISABELLE build -c Isabelle_DOF-Manual)
-    mkdir -p $ISADOF_WORK_DIR/doc
     cp $ISADOF_WORK_DIR/examples/technical_report/Isabelle_DOF-Manual/output/document.pdf \
         $ISADOF_WORK_DIR/doc/Isabelle_DOF-Manual.pdf
     echo "  Isabelle_DOF-Manual                       User and Implementation Manual for Isabelle/DOF" >> $ISADOF_WORK_DIR/doc/Contents

examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy

@@ -123,9 +123,11 @@ text\<open>
     \url{https://www.brucker.ch/bibliography/abstract/brucker.ea-isabelle-ontologies-2018}. 
   \<^item> for the implementation of \isadof~@{cite "brucker.ea:isabelledof:2019"}:
     \begin{quote}\small
-      A.~D. Brucker and B.~Wolff. \isadof: Design and implementation. In P.~{\"O}lveczky and 
+      A.~D. Brucker and B.~Wolff. \isadof: Design and implementation. In P.C.~{\"O}lveczky and 
       G.~Sala{\"u}n, editors, \<^emph>\<open>Software Engineering and Formal Methods (SEFM)\<close>, number 11724 in
       Lecture Notes in Computer Science. Springer-Verlag, Heidelberg, 2019.
+      \href{https://doi.org/10.1007/978-3-030-30446-1_15}{10.1007/978-3-030-30446-1\_15}.
+
     \end{quote}
     A \BibTeX-entry is available at: 
     \url{https://www.brucker.ch/bibliography/abstract/brucker.ea-isabelledof-2019}.

examples/technical_report/Isabelle_DOF-Manual/document/root.bib

@@ -60,14 +60,16 @@
   publisher	= {Springer-Verlag},
   address	= {Heidelberg},
   series	= {Lecture Notes in Computer Science},
+  number	= {11724},
   isbn		= {3-540-25109-X},
-  editor	= {Peter {\"O}lveczky and Gwen Sala{\"u}n},
+  doi		= {10.1007/978-3-030-30446-1_15},
+  editor	= {Peter C. {\"O}lveczky and Gwen Sala{\"u}n},
   pdf		= {https://www.brucker.ch/bibliography/download/2019/brucker.ea-isabelledof-2019.pdf},
   title		= {{Isabelle/DOF}: Design and Implementation},
   classification= {conference},
   areas		= {formal methods, software},
   categories	= {isadof},
-  year		= 2019,
+  year		= {2019},
   public	= {yes}
 }
 
@@ -101,7 +103,7 @@
   publisher	= {Springer-Verlag},
   address	= {Heidelberg},
   series	= {Lecture Notes in Computer Science},
-  number	= 11006,
+  number	= {11006},
   url		= {https://www.brucker.ch/bibliography/abstract/brucker.ea-isabelle-ontologies-2018},
   title		= {Using the {Isabelle} Ontology Framework: Linking the
 		  Formal with the Informal},
@@ -109,7 +111,8 @@
   areas		= {formal methods, software},
   categories	= {isadof},
   public	= {yes},
-  year		= 2018,
+  year		= {2018},
+  doi		= {10.1007/978-3-319-96812-4_3},
   pdf		= {https://www.brucker.ch/bibliography/download/2018/brucker.ea-isabelle-ontologies-2018.pdf}
 }