| Sun, 10 Mar 2019 18:00:08 +0100 | Pierre-Yves David | changelog: mention latest improvement | changeset | files |
| Sun, 10 Mar 2019 18:50:00 +0800 | Anton Shestakov | stack: make @ (current) more important than $ (some sort of unstable) | changeset | files |
| Sat, 09 Mar 2019 13:13:53 +0800 | Anton Shestakov | stack: show content and phase divergent state and symbol | changeset | files |
| Sat, 09 Mar 2019 12:54:00 +0800 | Anton Shestakov | stack: handle external-children just like other states | changeset | files |