757 B
757 B
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.
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