This repository has been archived by the owner on Nov 7, 2020. It is now read-only.
Documentation preliminary release
Pre-release
Pre-release
·
43 commits
to camlp5-7.13
since this release
This release has tested the LaTeX print out functionality of MetaPRL. Currently only meta and czf's document are available. More will be come up after other theories get ported.