This branch is almost stable now and won't have many changes expected. It is right time to merge it into master.
After the merge, this branch still should be available. Potential interesting people, including reviewers, can clone this branch to experiment with the animation of RoboChart.
This branch is almost stable now and won't have many changes expected. It is right time to merge it into master. After the merge, this branch still should be available. Potential interesting people, including reviewers, can clone this branch to experiment with the animation of RoboChart.