Reinstate edge routing
Recursive delete of containment
Yes, it used to work in the distant past, I remember using it for the STTT paper...
TikZ export of LTS graph is broken
New rule property: injectivity
Simulator freezes after loading grammar
Nearly identical rules with distinct number of matches
Semantics of do-until construct is broken