Fri, 29 Jul 2011 16:03:28 +0100 Mario de Sousa Support for semantic verification of calls to standard functions.
Tue, 05 Apr 2011 15:14:19 +0200 Edouard Tisserant Re-generated std lib related code, with updated headers, updated all forgotten headers
Wed, 31 Jan 2007 15:32:38 +0100 etisserant Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.