Fri, 29 Jul 2011 16:03:28 +0100 Mario de Sousa Support for semantic verification of calls to standard functions.
Wed, 07 Sep 2011 19:28:10 +0200 laurent Fixing exponentiation used with symbol **