From 97bfdcff58fb01525a5babedc3f3c2f8a9babb62 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 26 Mar 2022 17:50:46 +0000 Subject: [PATCH] Re-added simple Changelog file. --- CHANGELOG.md | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 CHANGELOG.md diff --git a/CHANGELOG.md b/CHANGELOG.md new file mode 100644 index 0000000..91370cd --- /dev/null +++ b/CHANGELOG.md @@ -0,0 +1,27 @@ +# 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). + +## 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 + +[Unreleased]: https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF/compare/v1.0.0/Isabelle2019...HEAD