@tillmo tillmo released this Aug 14, 2016 · 201 commits to master since this release

Assets 2

various bug fixes, improvement of OWL2CASL translation, compatibility with ghc 8.0