Sat, 31 May 2014 12:49:43 +0100Remove dead code previously left in by mistake.
mjsousa [Sat, 31 May 2014 12:49:43 +0100] rev 896
Remove dead code previously left in by mistake.

Thu, 29 May 2014 12:06:22 +0100Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.
mjsousa [Thu, 29 May 2014 12:06:22 +0100] rev 895
Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.

Wed, 28 May 2014 11:32:09 +0200merge
Edouard Tisserant [Wed, 28 May 2014 11:32:09 +0200] rev 894
merge