Moved Example Data Structure to the server.# Please enter the commit message for your changes. Lines starting
Switched to JSON format of exchange between the client and the server.
Fixed issues with submitting examples.
Added Clafer Model View.
Fixed bugs with Clafer Model View. Tested.
Merge pull request #7 from gsdlab/ClaferModelView

Clafer Model View