CProof Python Plugins API =========================== The ``prof`` module describes functions that plugins may call to interact with CProof. The ``plugin`` module describes functions that plugins may define to be notified of various events in CProof. Contents: .. toctree:: :maxdepth: 2 prof plugin :ref:`genindex`