Boogie IVL documentation

This is the documentation for Boogie IVL written using Sphinx.

Online documentation

The documentation is available online at http://boogie-docs.readthedocs.org/en/latest/

Build status:

Generating HTML documentation locally

Run

make html

Generating LaTeX PDF documentation locally

Run

make latexpdf