Ralf Treinen pushed to branch master at Debian OCaml Maintainers / menhir
Commits:
-
93f9dc21
by Ralf Treinen at 2019-11-02T10:49:21Z
-
2b068fb3
by Ralf Treinen at 2019-11-02T10:49:35Z
-
7a53be15
by Ralf Treinen at 2019-11-02T10:51:38Z
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
- debian/changelog
- debian/control
- 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