Updated change log with support for anonymous variables.
This commit is contained in:
@@ -2,6 +2,10 @@
|
|||||||
|
|
||||||
## (unreleased)
|
## (unreleased)
|
||||||
|
|
||||||
|
Features:
|
||||||
|
|
||||||
|
* support for anonymous variables
|
||||||
|
|
||||||
Bug Fixes:
|
Bug Fixes:
|
||||||
|
|
||||||
* fixes incorrectly simplified rules with comparisons
|
* fixes incorrectly simplified rules with comparisons
|
||||||
|
Reference in New Issue
Block a user