- 06 Apr, 2017 1 commit
-
-
POTTIER Francois authored
At the same time, remove the linking exception for the Generator. Also, mention that the files in test/ are not covered by any license.
-
- 24 Mar, 2017 1 commit
-
-
POTTIER Francois authored
MenhirLib remains under LGPL with a linking exception. MenhirSdk is considered part of the Generator. Updated the header of every source file under version control.
-
- 30 Oct, 2015 1 commit
-
-
POTTIER Francois authored
-
- 29 Oct, 2015 1 commit
-
-
POTTIER Francois authored
For the modules in MenhirLib, adopt the convention that the first letter of the file name must be capitalized.
-
- 19 Oct, 2015 1 commit
-
-
POTTIER Francois authored
-
- 19 Jan, 2015 1 commit
-
-
POTTIER Francois authored
-
- 18 Jan, 2015 1 commit
-
-
POTTIER Francois authored
-
- 08 Jan, 2015 2 commits
-
-
POTTIER Francois authored
This might allow the ocaml compiler to not link these modules when --inspection is off.
-
POTTIER Francois authored
-
- 10 Dec, 2014 1 commit
-
-
POTTIER Francois authored
IncrementalEngine, so as to reduce confusion and allow including this file in the documentation.
-
- 01 Mar, 2013 1 commit
-
-
fpottier authored
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@320 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7
-