kframework/k — pull request #1164 by dwightguth (2014-11-06 23:09:07+00:00)
Title: refactor k to generate posters from compiled definitions

**do not review yet**