kframework/k — pull request #782 by dwightguth (2014-08-04 15:24:26+00:00)
Title: remove krun dependence on parser code

**do not review yet**