kframework/k — pull request #963 by dwightguth (2014-09-18 15:01:29+00:00)
Title: kompile kernelc pdf only once

@andreistefanescu please review