edit CHANGELOG

eccenca · Jun 28, 2024 · 1fadca3 · 1fadca3
1 parent 87ef8ab
commit 1fadca3
Showing 1 changed file with 12 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,7 +4,18 @@ All notable changes to this project will be documented in this file.
 
 The format is based on [Keep a Changelog](http://keepachangelog.com/) and this project adheres to [Semantic Versioning](https://semver.org/)
 
-## [Unreleased]
+## [1.0.0alpha2] 2024-06-28
+
+### Added
+
+- added "Annotate inferred axioms" and "Exclude duplicate axioms" parameters in Reason plugin
+- added "Maximum RAM percentage" parameter in Reason and Validate plugins
+
+### Changed
+
+- Axiom generators are now not advanced parameters
+
+## [1.0.0alpha1] 2024-06-27
 
 ### Added