Edouard Tisserant [Mon, 04 Apr 2011 19:18:22 +0200] rev 278
Merged matiec library headers update from Mario to LGPL
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Apr 2011 15:59:35 +0100] rev 277
Changing to LGPL for library functions.
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Apr 2011 15:26:13 +0100] rev 276
Updating origin and license info of library fuctions.
Conclude missing counter FBs.
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Apr 2011 15:22:42 +0100] rev 275
Leave standard function names hardcoded, as these are considered keywords even though
they may not be implemented in the library.
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Apr 2011 14:32:21 +0100] rev 274
New version of bistable.txt - due to license issues.
Edouard Tisserant [Mon, 04 Apr 2011 18:54:55 +0200] rev 273
Make semantic error message compatible with beremiz