kframework/k — pull request #787 by dwightguth (2014-08-04 22:44:59+00:00)
Title: Refactor location, filename, and klabel attributes

**do not review yet**