readme.md

PDF Export for PAVO

This is an extension for the PAVO library. It enables the export of the currently shown diagram as a *.pdf file. It uses the the library in package tools.descartes.pavo.export.pdf.lib