derive-v0.2.0

External User akissinger

@akissinger

fedd050c · new project dialog only shows supported theories · May 02, 2014

first (proper) pre-release. Ready to announce and start bugfixing.