From e319e4d8108f10c00a4125d7b8ac6d6d605c56b0 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 20 Mar 2021 23:15:16 +0000 Subject: [PATCH] Preparation of 1.1.0/Isabelle2021 release. --- .config | 8 ++++---- CHANGELOG.md | 7 ------- README.md | 12 ++++++++---- 3 files changed, 12 insertions(+), 15 deletions(-) diff --git a/.config b/.config index 494272c..d6f0e49 100755 --- a/.config +++ b/.config @@ -1,8 +1,8 @@ # Isabelle/DOF Version Information -DOF_VERSION="Unreleased" # "Unreleased" for development, semantic version for releases -DOF_LATEST_VERSION="1.0.0" -DOF_LATEST_ISABELLE="Isabelle2019" -DOF_LATEST_DOI="10.5281/zenodo.3370483" +DOF_VERSION="1.1.0" # "Unreleased" for development, semantic version for releases +DOF_LATEST_VERSION="1.1.0" +DOF_LATEST_ISABELLE="Isabelle2021" +DOF_LATEST_DOI="10.5281/zenodo.4625176" DOF_GENERIC_DOI="10.5281/zenodo.3370482" # # Isabelle and AFP Configuration diff --git a/CHANGELOG.md b/CHANGELOG.md index f1e663a..f88a922 100755 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,12 +5,6 @@ All notable changes to this project will be documented in this file. The format is based on [Keep a Changelog](http://keepachangelog.com/en/1.0.0/) and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.html). -## [Unreleased] - -### Added - -### Changed - ## 1.1.0 - 2021-03-20 ### Added @@ -28,4 +22,3 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0. - First public release -[Unreleased]: https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF/compare/v1.0.0/Isabelle2019...HEAD diff --git a/README.md b/README.md index a9e1761..03edc74 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.1.0/Isabelle2020 is available -online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2020.pdf) +development. The manual for [Isabelle/DOF 1.1.0/Isabelle2021 is available +online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2021.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.1.0_isabelle2020 isabelle jedit + logicalhacking/isabelle_dof-1.1.0_isabelle2021 isabelle jedit ``` ## Pre-requisites @@ -24,7 +24,7 @@ Isabelle/DOF has two major pre-requisites: Please download the Isabelle 2021 distribution for your operating system from the [Isabelle website](http://isabelle.in.tum.de/website-Isabelle2021/). * **LaTeX:** Isabelle/DOF requires a modern TeX-engine supporting the \expanded{}-primitive. This - is, for example, included in the [TeX Live 2020](https://www.tug.org/texlive/) (or later) + is, for example, included in the [TeX Live 2021](https://www.tug.org/texlive/) (or later) distribution. ## Installation @@ -137,6 +137,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/Isabelle2021 + * [Isabelle_DOF-1.1.0_Isabelle2021.pdf](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2021.pdf) + * [Isabelle_DOF-1.1.0_Isabelle2021.tar.xz](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2021.tar.xz) + * [Isabelle_DOF-1.1.0_Isabelle2021.tar.xz.asc](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2021.tar.xz.asc) * 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)