emuchart PVSPrinter -- generates PVS theories from emuchart diagrams
Merge branch 'alpha' of https://github.com/thehogfather/pvsio-web into alpha