| Sat, 31 May 2014 16:22:57 +0100 | mjsousa | Add support for Stepname.X syntax. | changeset | files |
| Sat, 31 May 2014 12:49:43 +0100 | mjsousa | Remove dead code previously left in by mistake. | changeset | files |
| Thu, 29 May 2014 12:06:22 +0100 | mjsousa | Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions. | changeset | files |