Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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 ======
goal/changelog.txt ยท Last modified: 2022/10/03 22:52 by mht208
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki