Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / menhir
Commits:
20 changed files:
- .gitlab-ci.yml
- CHANGES.md
- LICENSE
- README.md
- check-tarball.sh
- + coq-menhirlib/CHANGES.md
- + coq-menhirlib/LICENSE
- + coq-menhirlib/Makefile
- + coq-menhirlib/README.md
- + coq-menhirlib/src/.gitignore
- + coq-menhirlib/src/Alphabet.v
- + coq-menhirlib/src/Automaton.v
- + coq-menhirlib/src/Grammar.v
- + coq-menhirlib/src/Interpreter.v
- + coq-menhirlib/src/Interpreter_complete.v
- + coq-menhirlib/src/Interpreter_correct.v
- + coq-menhirlib/src/Main.v
- + coq-menhirlib/src/Makefile
- + coq-menhirlib/src/Makefile.coq
- + coq-menhirlib/src/Validator_classes.v