2019-06-17 19:53:13 +00:00
|
|
|
# Changelog
|
|
|
|
|
|
|
|
All notable changes to this project will be documented in this file.
|
|
|
|
|
|
|
|
The format is based on [Keep a Changelog](http://keepachangelog.com/en/1.0.0/)
|
|
|
|
and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.html).
|
|
|
|
|
2021-03-20 22:25:29 +00:00
|
|
|
## 1.1.0 - 2021-03-20
|
|
|
|
|
|
|
|
### Added
|
|
|
|
|
|
|
|
- New antiquotations, consistency checks
|
|
|
|
|
|
|
|
### Changed
|
|
|
|
|
|
|
|
- Updated manual
|
|
|
|
- Restructured setup for ontologies (Isabelle theories and LaTeX styles)
|
|
|
|
|
2019-08-18 09:39:24 +00:00
|
|
|
## 1.0.0 - 2018-08-18
|
2019-06-17 19:53:13 +00:00
|
|
|
|
2019-08-18 09:39:24 +00:00
|
|
|
### Added
|
|
|
|
|
|
|
|
- First public release
|
|
|
|
|