Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / hevea
Commits:
-
72814e2d
by Ralf Treinen at 2022-09-17T20:48:02+02:00
30 changed files:
- CHANGES
- Makefile
- README
- + bugs/014/a.tex
- color.ml
- counter.ml
- cut.mll
- foot.ml
- html.ml
- html/hevea.hva
- html/mathpartir.hva
- htmlCommon.ml
- htmllex.mll
- htmltext.ml
- index.ml
- latexcommon.hva
- latexmacros.ml
- latexscan.mll
- listings.hva
- misc.ml
- misc.mli
- myStack.ml
- package.ml
- pp.ml
- section.ml
- subst.mll
- text.ml
- text/hevea.hva
- ultra.ml
- + uninstall.sh