Isabelle_DOF/CHANGELOG.md

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog and this project adheres to Semantic Versioning.

Unreleased

Added

Changed

• removed explicit use of build script. Requires removing "build" script entry from ROOT files.
• lipics support is now official, requires document option "document_comment_latex=true" in the ROOT file.
• Isabelle/DOF is now a proper Isabelle component that should be installed using the "isabelle components" command. The installation script is now only an convenience means for installing the required AFP entries.

1.2.0 - 2022-03-26

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

• First public release