3 Commits

Author	SHA1	Message	Date
Suzanne Dupéron	76fa4b0549	Revert "Make menhir less verbose, to see error messages in gitlab." ... This reverts commit b5f3ae76b049d4e712bd539b39d771191bc8978b.	2020-02-10 20:40:43 +01:00
Suzanne Dupéron	c71e47f252	Make menhir less verbose, to see error messages in gitlab.	2020-02-10 20:40:43 +01:00
Christian Rinderknecht	fc3385389b	[WIP] Refactoring the front-end.	2020-01-27 16:05:47 +01:00