tudelft-mdsd/spoofax-jasmin — pull request #7 by Apanatshka (2014-12-02 13:21:16+00:00)
Title: Upgrade1.3

@Gohla, can you merge this PR and delete the `upgrade1.3` branch when everything works? Then these last changes will be automatically incorporated in our open PR to the upstream `metaborg/spoofax-jasmin`.