Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / menhir
Commits:
-
b74de13f
by Ralf Treinen at 2019-10-31T07:21:53Z
30 changed files:
- CHANGES.md
- Makefile
- check-tarball.sh
- coq-menhirlib/CHANGES.md
- coq-menhirlib/src/Automaton.v
- coq-menhirlib/src/Makefile.coq
- coq-menhirlib/src/Validator_classes.v
- coq-menhirlib/src/Validator_safe.v
- coq-menhirlib/src/Version.v
- demos/Makefile
- + demos/coq-minicalc/Lexer.v
- + demos/coq-minicalc/Makefile
- + demos/coq-minicalc/MiniCalc.v
- + demos/coq-minicalc/Parser.vy
- + demos/coq-minicalc/README.md
- + demos/coq-minicalc/_CoqProject
- doc/manual.html
- doc/manual.pdf
- doc/manual.tex
- doc/manual001.png
- doc/manual002.png
- doc/manual003.png
- doc/version.tex
- + src/DFS.ml
- + src/DFS.mli
- src/Makefile
- src/SelectiveExpansion.ml
- src/StaticVersion.ml
- src/StaticVersion.mli
- src/front.ml