kframework/k — pull request #282 by radumereuta (2014-03-12 02:48:03+00:00)
Title: NewParser - added labels to the generated trees (worked with Michael).

@mdmkolbe (Michael) should review this.