kframework/k — pull request #303 by liyili2 (2014-03-24 18:25:19+00:00)
Title: Liyili2

Kore parser design.

Change front end. Now, kompile file will compile a definition if .kore file exist and kompile file --tokore will print out the .kore file.