Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / menhir
Commits:
-
dba9a5d8
by Ralf Treinen at 2021-10-02T00:09:05+02:00
30 changed files:
- LICENSE
- check-tarball.sh
- + compile-ocaml.sh
- doc/macros.tex
- doc/manual.html
- doc/manual.pdf
- doc/manual.tex
- doc/manual001.png
- doc/manual002.png
- doc/manual003.png
- doc/version.tex
- dune
- dune-project
- − fix/Makefile
- − fix/README.md
- − fix/TODO.md
- − fix/headers/library-header
- fix/src/Fix.ml → fix/src/Vendored_fix.ml
- fix/src/dune
- fix/fix.opam → fix/vendored_fix.opam
- lib/Engine.ml
- + pprint/.exclude
- + pprint/AUTHORS
- + pprint/CHANGES.md
- + pprint/LICENSE
- + pprint/dune-project
- + pprint/src/PPrintCombinators.ml
- + pprint/src/PPrintCombinators.mli
- + pprint/src/PPrintEngine.ml
- + pprint/src/PPrintEngine.mli