Update CHANGES.md

potassco · May 24, 2022 · 807ab84 · 807ab84
1 parent 7c386b8
commit 807ab84
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,7 +1,7 @@
 # Changes
 
-## eclingo 0.2.1
+## eclingo 0.4
   * allows to use "not" inside epistemic literals. Now "a :- &k{ not b}." is a valid program.
-  * works with (and requires) clingo 5.5 and python 3.8.
+  * works with (and requires) clingo 5.5.2 and python 3.9.
   * Semantics K14 is not supported in this version.
   * Grounding is done only once instead of twice.