debian/dirs
author mjsousa
Thu, 29 May 2014 12:06:22 +0100
changeset 895 f824bf8e1579
parent 106 0fff950e578e
permissions -rwxr-xr-x
Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.
usr/bin