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.
- Updated Isabelle version to Isabelle 2023
1.3.0 - 2022-07-08
- The project-specific configuration is not part of the
ROOTfile, the formerly usedisadof.cfgis obsolete and no longer supported. - Removed explicit use of
document/buildscript. Requires removing thebuildscript entry from ROOT files. - Isabelle/DOF is now a proper Isabelle component that should be installed using the
isabelle componentscommand. The installation script is now only a convenient way of installing the required AFP entries. mkroot_DOFhas been renamed todof_mkroot(and reimplemented in Scala).
1.2.0 - 2022-03-26
1.1.0 - 2021-03-20
- New antiquotations, consistency checks
- Updated manual
- Restructured setup for ontologies (Isabelle theories and LaTeX styles)
- First public release