forked from Isabelle_DOF/Isabelle_DOF
1.6 KiB
1.6 KiB
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
- Updated Isabelle version to Isabelle 2022
1.3.0 - 2022-07-08
Changed
- The project-specific configuration is not part of the
ROOT
file, the formerly usedisadof.cfg
is obsolete and no longer supported. - Removed explicit use of
document/build
script. Requires removing thebuild
script entry from ROOT files. - Isabelle/DOF is now a proper Isabelle component that should be installed using the
isabelle components
command. The installation script is now only a convenient way of installing the required AFP entries. mkroot_DOF
has been renamed todof_mkroot
(and reimplemented in Scala).
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