Commits · 3aa914a31f58c4498545ef856eac1b56e8249a9c · POTTIER Francois / menhir

30 May, 2018 6 commits
- GNUmakefile improvement. · 3aa914a3
  POTTIER Francois authored May 30, 2018
  
  3aa914a3
- Add the constraint that Menhir (if present) must be at least 20180530. · d44a47c9
  POTTIER Francois authored May 30, 2018
```
This is the first version of Menhir where `menhir --coq` produces qualified
references such as `MenhirLib.Grammar`, etc.
```
  d44a47c9
- README. · 4ffed649
  POTTIER Francois authored May 30, 2018
  
  4ffed649
- README. · f6a57ffe
  POTTIER Francois authored May 30, 2018
  
  f6a57ffe
- Add an opam description file. · 5eaea3ca
  POTTIER Francois authored May 30, 2018
  
  5eaea3ca
- Coq sources, Makefiles, opam package configuration. · 16d4beeb
  POTTIER Francois authored May 30, 2018
  
  16d4beeb