You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
All notable changes to this project will be documented in this file.
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
- First public release