From 0300a64119b2a08c49c1abd1e42b639cb01fdfba Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 20 Mar 2021 22:25:29 +0000
Subject: [PATCH] Added v.1.1.0.

---
 CHANGELOG.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 9214391..f1e663a 100755
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -11,6 +11,17 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.
 
 ### Changed
 
+## 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