-
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 |