gsdlab/ClaferIDE — pull request #8 by AMurashkin (2013-12-11 21:43:28+00:00)
Title: Huge Improvement

1) Individual scope specification
2) Improved UI: Clafer syntax highlighting
3) Configurable backends and output formats
4) Support for scope strategy and compilation flags
5) Testing and bug fixes