Ralf Treinen pushed to branch master at Debian OCaml Maintainers / menhir
Commits:
-
090180e7
by Ralf Treinen at 2020-12-03T10:06:29+01:00
-
03d4032f
by Ralf Treinen at 2020-12-03T10:09:26+01:00
-
37ddc935
by Ralf Treinen at 2020-12-03T10:12:16+01:00
-
94d37d49
by Ralf Treinen at 2020-12-06T10:29:36+01:00
30 changed files:
- debian/changelog
- debian/control
- debian/rules
- doc/.gitignore
- 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-project
- + exec.sh
- fix/CHANGES.md
- fix/Makefile
- fix/README.md
- fix/TODO.md
- fix/dune
- fix/dune-workspace.versions
- fix/src/Boolean.ml
- fix/src/Boolean.mli
- fix/src/Core.mli
- fix/src/DataFlow.ml
- fix/src/DataFlow.mli
- fix/src/Fix.ml
- fix/src/Gensym.mli
- fix/src/Glue.ml
- fix/src/Glue.mli
- − fix/src/Graph.ml