From a0654d8db972a81bfcb6b0ba9c0cf34b98404606 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 20 Mar 2021 22:05:57 +0000 Subject: [PATCH 1/3] =?UTF-8?q?Added=20Nicolas=20M=C3=A9ric=20=20as=20cont?= =?UTF-8?q?ributor.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 1 + .../technical_report/Isabelle_DOF-Manual/document/preamble.tex | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index ce7e26d..d4c770c 100755 --- a/README.md +++ b/README.md @@ -155,6 +155,7 @@ Main contacts: * Idir Ait-Sadoune * Paolo Crisafulli * Chantal Keller +* Nicolas Méric ## License diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex index 1c0b6f0..7f4e4bf 100755 --- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex +++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex @@ -81,7 +81,7 @@ release is \isadoflatestversion{} (\href{https://doi.org/\isadoflatestdoi}{doi:\ \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. +(in alphabetical order): Idir Ait-Sadoune, Paolo Crisafulli, Chantal Keller, and Nicolas M{\'e}ric. \paragraph*{Acknowledgments.} This work has been partially supported by IRT SystemX, Paris-Saclay, France, and therefore granted with public funds of the Program ``Investissements d'Avenir.'' From 6d166ecee486967b863803d5bb2de082b076ee07 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 20 Mar 2021 22:19:57 +0000 Subject: [PATCH 2/3] Added links for 1.1.0/Isabelle2020 release. --- README.md | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index d4c770c..5210422 100755 --- a/README.md +++ b/README.md @@ -2,8 +2,8 @@ Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal -development. The manual for [Isabelle/DOF 1.0.0/Isabelle2019 is available -online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.0.0_Isabelle2019.pdf) +development. The manual for [Isabelle/DOF 1.1.0/Isabelle2020 is available +online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2020.pdf) ## Running Isabelle/DOF using Docker @@ -13,7 +13,7 @@ Docker supports X11 application, you can start Isabelle/DOF as follows: ```console foo@bar:~$ docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix \ - logicalhacking/isabelle_dof-1.0.0_isabelle2019 isabelle jedit + logicalhacking/isabelle_dof-1.1.0_isabelle2020 isabelle jedit ``` ## Pre-requisites @@ -138,6 +138,10 @@ Usage: isabelle mkroot_DOF [OPTIONS] [DIR] For releases, signed archives including a PDF version of the Isabelle/DOF manual are are available: +* Isabelle/DOF 1.1.0/Isabelle2020 + * [Isabelle_DOF-1.1.0_Isabelle2020.pdf](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2020.pdf) + * [Isabelle_DOF-1.1.0_Isabelle2020.tar.xz](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2020.tar.xz) + * [Isabelle_DOF-1.1.0_Isabelle2020.tar.xz.asc](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2020.tar.xz.asc) * Isabelle/DOF 1.0.0/Isabelle2019 * [Isabelle_DOF-1.0.0_Isabelle2019.pdf](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.0.0_Isabelle2019.pdf) * [Isabelle_DOF-1.0.0_Isabelle2019.tar.xz](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.0.0_Isabelle2019.tar.xz) From 0300a64119b2a08c49c1abd1e42b639cb01fdfba Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 20 Mar 2021 22:25:29 +0000 Subject: [PATCH 3/3] Added v.1.1.0. --- CHANGELOG.md | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 9214391..f1e663a 100755 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -11,6 +11,17 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0. ### Changed +## 1.1.0 - 2021-03-20 + +### Added + +- New antiquotations, consistency checks + +### Changed + +- Updated manual +- Restructured setup for ontologies (Isabelle theories and LaTeX styles) + ## 1.0.0 - 2018-08-18 ### Added