forked from Isabelle_DOF/Isabelle_DOF
Preparation of 1.1.0/Isabelle2021 release.
This commit is contained in:
parent
712cea7ac9
commit
e319e4d810
8
.config
8
.config
|
@ -1,8 +1,8 @@
|
||||||
# Isabelle/DOF Version Information
|
# Isabelle/DOF Version Information
|
||||||
DOF_VERSION="Unreleased" # "Unreleased" for development, semantic version for releases
|
DOF_VERSION="1.1.0" # "Unreleased" for development, semantic version for releases
|
||||||
DOF_LATEST_VERSION="1.0.0"
|
DOF_LATEST_VERSION="1.1.0"
|
||||||
DOF_LATEST_ISABELLE="Isabelle2019"
|
DOF_LATEST_ISABELLE="Isabelle2021"
|
||||||
DOF_LATEST_DOI="10.5281/zenodo.3370483"
|
DOF_LATEST_DOI="10.5281/zenodo.4625176"
|
||||||
DOF_GENERIC_DOI="10.5281/zenodo.3370482"
|
DOF_GENERIC_DOI="10.5281/zenodo.3370482"
|
||||||
#
|
#
|
||||||
# Isabelle and AFP Configuration
|
# Isabelle and AFP Configuration
|
||||||
|
|
|
@ -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/)
|
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).
|
and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.html).
|
||||||
|
|
||||||
## [Unreleased]
|
|
||||||
|
|
||||||
### Added
|
|
||||||
|
|
||||||
### Changed
|
|
||||||
|
|
||||||
## 1.1.0 - 2021-03-20
|
## 1.1.0 - 2021-03-20
|
||||||
|
|
||||||
### Added
|
### Added
|
||||||
|
@ -28,4 +22,3 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.
|
||||||
|
|
||||||
- First public release
|
- First public release
|
||||||
|
|
||||||
[Unreleased]: https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF/compare/v1.0.0/Isabelle2019...HEAD
|
|
||||||
|
|
12
README.md
12
README.md
|
@ -2,8 +2,8 @@
|
||||||
|
|
||||||
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle.
|
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle.
|
||||||
Isabelle/DOF allows for both conventional typesetting as well as formal
|
Isabelle/DOF allows for both conventional typesetting as well as formal
|
||||||
development. The manual for [Isabelle/DOF 1.1.0/Isabelle2020 is available
|
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_Isabelle2020.pdf)
|
online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2021.pdf)
|
||||||
|
|
||||||
## Running Isabelle/DOF using Docker
|
## Running Isabelle/DOF using Docker
|
||||||
|
|
||||||
|
@ -13,7 +13,7 @@ Docker supports X11 application, you can start Isabelle/DOF as follows:
|
||||||
|
|
||||||
```console
|
```console
|
||||||
foo@bar:~$ docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix \
|
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
|
## Pre-requisites
|
||||||
|
@ -24,7 +24,7 @@ Isabelle/DOF has two major pre-requisites:
|
||||||
Please download the Isabelle 2021 distribution for your operating
|
Please download the Isabelle 2021 distribution for your operating
|
||||||
system from the [Isabelle website](http://isabelle.in.tum.de/website-Isabelle2021/).
|
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
|
* **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.
|
distribution.
|
||||||
|
|
||||||
## Installation
|
## 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
|
For releases, signed archives including a PDF version of the Isabelle/DOF manual are
|
||||||
are available:
|
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
|
||||||
* [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.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](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2020.tar.xz)
|
||||||
|
|
Loading…
Reference in New Issue