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.
1.1.0 - 2021-03-20
- New antiquotations, consistency checks
- Updated manual
- Restructured setup for ontologies (Isabelle theories and LaTeX styles)
1.0.0 - 2018-08-18