parsepan 0.9
19 April 2014

parsepan is a Python script to parse the results of SPIN's pan verifier,
and to selectively retrieve information from verification reports.

See parsepan.html for detailed documentation.
See also SPIN: http://spinroot.com/

files:
    parsepan        the Python script
    parsepan.1      manual page for parsepan
    parsepan.pdf    generated PDF file from parsepan.1
    parsepan.html   generated HTML file from parsepan.1
    makefile        makefile to build documentation
    summary.pp      sample keyfile (corresponds to --summary)
    LICENSE.txt     Apache 2.0 license
    README.txt      this file