kframework/k — pull request #895 by radumereuta (2014-08-28 00:09:37+00:00)
Title: Adding a timestamp to generated files in .k to make it easier to track the last version.

@dwightguth please review.