kframework/k — pull request #397 by radumereuta (2014-04-22 19:59:18+00:00)
Title: Added the definition of #String directly into K. I also had to fix some ...

...stuff in order for it to work:

- renamed escapeK into enquuoteString for better naming
- fixed a bug in KSyntax2Grammar generation
- added ktests for the new parser.