kframework/k — pull request #1038 by dwightguth (2014-10-06 21:58:46+00:00)
Title: make it clearer how to run K from an IDE

@radumereuta please review