Improved our graph panel (closes #171).
Slight update to our user documentation.
Slight update to our user documentation.
New snapshots.
Improved our download page.
Merge branch 'master' of github.com:opencor/opencor
Merge branch 'master' of github.com:mirams/opencor
Merge branch 'master' of github.com:opencor/opencor