Ralf Treinen pushed to branch experimental/master at Debian OCaml Maintainers / menhir
Commits:
-
1a51d4c6
by Ralf Treinen at 2019-07-03T15:10:17Z
-
21da35d7
by Ralf Treinen at 2019-07-03T15:10:23Z
-
1455e337
by Ralf Treinen at 2019-07-03T15:11:06Z
-
30b6a665
by Ralf Treinen at 2019-07-03T15:14:26Z
-
cfa6a76f
by Ralf Treinen at 2019-07-03T16:04:49Z
-
80ebd0b7
by Ralf Treinen at 2019-07-03T16:12:06Z
-
10593862
by Ralf Treinen at 2019-07-03T16:14:31Z
30 changed files:
- coq-menhirlib/CHANGES.md
- coq-menhirlib/src/Interpreter_complete.v
- coq-menhirlib/src/Makefile
- coq-menhirlib/src/Validator_complete.v
- coq-menhirlib/src/Version.v
- debian/changelog
- debian/control
- debian/copyright
- − debian/patches/coqlib-install
- − debian/patches/series
- debian/rules
- + debian/tests/calcdemo-coq/Lexer.v
- + debian/tests/calcdemo-coq/Makefile
- + debian/tests/calcdemo-coq/Makefile.conf
- + debian/tests/calcdemo-coq/Makefile.local
- + debian/tests/calcdemo-coq/MiniCalc.v
- + debian/tests/calcdemo-coq/Parser.vy
- + debian/tests/calcdemo-coq/README.md
- + debian/tests/calcdemo-coq/_CoqProject
- debian/tests/calc/.merlin → debian/tests/calcdemo-ocaml/.merlin
- debian/tests/calc/README → debian/tests/calcdemo-ocaml/README
- debian/tests/calc/calc.ml → debian/tests/calcdemo-ocaml/calc.ml
- debian/tests/calc/lexer.mll → debian/tests/calcdemo-ocaml/lexer.mll
- debian/tests/calc/parser.mly → debian/tests/calcdemo-ocaml/parser.mly
- debian/tests/control
- + debian/tests/coq
- debian/tests/calcdemo → debian/tests/standalone
- doc/manual.html
- doc/manual.pdf
- doc/manual001.png