kframework/k — pull request #60 by daejunpark (2013-10-04 07:55:50+00:00)
Title: Cleanup options

Changes on options are explained in the following wiki page:
https://github.com/kframework/k/wiki/Command-line-options