kframework/k — pull request #348 by radumereuta (2014-04-08 23:07:04+00:00)
Title: Newparser metadata

Modified the metadata information.
This changes thread got left out. Resending the pull request.