Thu, 22 Aug 2013 18:50:43 +0100 mjsousa Generate correct error message when encountering IL lists embedded in IL formal invocations.
Thu, 22 Aug 2013 16:53:17 +0100 mjsousa Fill in the 'datatype' anotation in the identifiers of symbolic variables.