-
Alexandre Duret-Lutz authored
suppress the GFy optimisation introduced on 2003-11-26, it is generalized by the identification of states with same symbolic rewriting introduced on 2004-02-02.
5cb40481
To find the state of this project's repository at the time of any of these versions, check out the tags.