5 commits

Author	SHA1	Message	Date
Adrien Guatto	4159845401	Added manual style checking script.	2010-06-29 11:21:31 +02:00
Adrien Guatto	04fcf5a826	C compilation script: tell GCC to use C99 mode.	2010-06-28 15:18:16 +02:00
Adrien Guatto	a7cb44532b	Updated helper scripts.	2010-06-27 23:28:38 +02:00
Adrien Guatto	7323c83f79	Added git hooks for lexical syntax checking.	2010-06-26 16:34:02 +02:00
Léonard Gérard	12251f960e	Add lib/pervasives.epi, tests, tools	2010-06-21 12:11:06 +02:00