Removed Pos* types
Merge pull request #21 from gsdlab/customBNFC

Update to use custom BNFC
0.3.7
avoid duplicate compilation of library and executable

moved Main.hs to src-cmd
removed extra dependencies
moved from test-framework to tasty

test suites now work
use Alloy4.2 by default
updated Readme
use the latest build of Alloy 4.2
completed transition to Alloy4.2.jar - fixed manifest
remove obsolete IDEs

Instead use http://github.com/gsdlab/clafer-tools-st3
remove IDEs from .cabal
ClaferToolsST
merged master, resolved conflicts
Merge pull request #22 from gsdlab/develop

Release 0.3.7