From 13303080910f2763d8e4c5dce72ae43d589e6c23 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 17 Aug 2019 10:14:28 +0100 Subject: [PATCH 1/2] Bug fix: ensure creation of doc directory before creating CONTENTS. --- .ci/mk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/mk_release b/.ci/mk_release index 9c9148e..98e6cc2 100755 --- a/.ci/mk_release +++ b/.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 From 982bd0c5fb69c971abe8f80b1f1f7cff84e28f75 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 17 Aug 2019 10:15:04 +0100 Subject: [PATCH 2/2] Updated refernce to SEFM paper. --- .../Isabelle_DOF-Manual/01_Introduction.thy | 4 +++- .../Isabelle_DOF-Manual/document/root.bib | 11 +++++++---- 2 files changed, 10 insertions(+), 5 deletions(-) diff --git a/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy b/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy index 4d7f183..c06a281 100644 --- a/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy +++ b/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy @@ -123,9 +123,11 @@ text\ \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>\Software Engineering and Formal Methods (SEFM)\, 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}. diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/root.bib b/examples/technical_report/Isabelle_DOF-Manual/document/root.bib index 4557dc6..7421ed3 100644 --- a/examples/technical_report/Isabelle_DOF-Manual/document/root.bib +++ b/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} }