ogma-core: Document changes in CHANGELOG. Refs #77.

nasa · Mar 21, 2023 · 7f8ed7d · 7f8ed7d
1 parent 83c20c2
commit 7f8ed7d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ogma-core/CHANGELOG.md b/ogma-core/CHANGELOG.md
@@ -1,8 +1,9 @@
 # Revision history for ogma-core
 
-## [1.X.Y] - 2023-02-01
+## [1.X.Y] - 2023-03-21
 
 * Support inequality operator in SMV and CoCoSpec (#71).
+* Introduce new F' (FPrime) backend (#77).
 
 ## [1.0.7] - 2023-01-21
 * Version bump 1.0.7 (#69).