| 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 |
| Wed, 28 May 2014 11:32:09 +0200 | Edouard Tisserant | merge | changeset | files |
| Wed, 28 May 2014 10:39:31 +0200 | Edouard Tisserant | closed temporary fix branch | changeset | files |