Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / menhir
Commits:
-
5ef0c133
by Stephane Glondu at 2024-02-15T14:13:39+01:00
30 changed files:
- LICENSE
- check-tarball.sh
- + cst/Makefile
- + cst/Settle.ml
- + cst/Settle.mli
- + cst/dune
- doc/.aspell.en.pws
- doc/local.bib
- doc/macros.tex
- doc/manual.tex
- + doc/unparsing.tex
- doc/version.tex
- dune-project
- lib/Engine.ml
- lib/EngineTypes.ml
- lib/IncrementalEngine.ml
- lib/TableInterpreter.ml
- pprint/CHANGES.md
- − pprint/src/PPrintCombinators.ml
- − pprint/src/PPrintCombinators.mli
- pprint/src/PPrintEngine.ml
- pprint/src/PPrintEngine.mli
- − pprint/src/PPrintMini.ml
- − pprint/src/PPrintOCaml.ml
- − pprint/src/PPrintOCaml.mli
- − pprint/src/PPrintRenderer.ml
- pprint/src/Vendored_pprint.ml
- + pprint/src/Vendored_pprint.mli
- pprint/src/dune
- pprint/vendored_pprint.opam