From 39d691c7adc847df77e3dabe0d88c9726af362d9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 24 Nov 2016 23:50:15 +0100
Subject: [PATCH] Added change log.

---
 CHANGELOG.md | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 CHANGELOG.md

diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
index 0000000..88edb24
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,9 @@
+# Change Log
+
+## (unreleased)
+
+Features:
+
+* initial support for translating rules in *Essential Gringo* (excluding aggregates) to first-order logic formulas
+* command-line option `--color` to autodetect, enable, or disable color output
+* command-line option `--log-level` to control which status messages should be shown