kframework/k — pull request #64 by daejunpark (2013-10-04 23:26:02+00:00)
Title: Add a change-log

I just created a change-log file in order to notice the options changes to the users of nightly build versions.

Please let me know if there is a better place to put this change-log.