HTMLFromTeXBooks v2.0.0 Release (not OPAM ready)
·
69 commits
to master
since this release
3d2e279
This commit was signed with the committer’s verified signature.
vanilla-extracts
Charlotte Thomas
Major update,
The parser now parse section/subsections/subsubsection.
Backward compatibility is not so great, hence the major bump in update