Build #15 (Aug 10, 2018, 2:09:49 PM)

1. Allow to draw without edge labels (commit: f6a3c2c) (details / githubweb)
2. Code formatting (commit: 3418534) (details / githubweb)
3. Use svg-pan-zoom for witness context graphs (commit: b1bddcd) (details / githubweb)
4. Added scaling script to components and conflict graphs. (commit: c28ed83) (details / githubweb)
5. Visualize DAG and transitive reduction (commit: 8abd37b) (details / githubweb)

Started by GitHub push by thvitt

• refs/remotes/origin/master