-
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.
bd7310b9
Name |
Last commit
|
Last update |
---|---|---|
attic | ||
bench | ||
demos | ||
doc | ||
headers | ||
papers/2016_c_parsing | ||
quicktest | ||
src | ||
.gitignore | ||
.gitmodules | ||
AUTHORS | ||
CHANGES | ||
GNUmakefile | ||
HOWTO | ||
INSTALLATION | ||
LICENSE | ||
Makefile | ||
TODO | ||
opam |