This shows you the differences between two versions of the page.
goal:changelog [2022/10/03 22:20] mht208 [Next Release] |
goal:changelog [2022/10/03 22:52] (current) mht208 [Next Release] |
||
---|---|---|---|
Line 5: | Line 5: | ||
* [CORE] Draw alternating states correctly in the tikz outputs. | * [CORE] Draw alternating states correctly in the tikz outputs. | ||
* [CORE] Remove unreachable states when removing dead states. | * [CORE] Remove unreachable states when removing dead states. | ||
+ | * [CORE] Fix a bug in detecting changed preferences. | ||
====== 2020-05-06 ====== | ====== 2020-05-06 ====== |