gsdlab/clafer — pull request #20 by mantkiew (2013-05-30 14:59:36+00:00)
Title: [232] Scope Options and [220] display string values

implementation of

http://gsd.uwaterloo.ca:8888/question/964/scope-options
http://gsd.uwaterloo.ca:8888/question/923/display-string-values

Also, version bump to 0.3.3 and updated library versions in Cabal for platform 2012.4.0.0