Overview

Generic XML-based data-driven pipelined document viewer, with support for ACL2 3.x proofs, YAML files and BPELUnit XML reports.