semantic changes for review
tool changes for review
verbose=
revert rule [Invoke-methodInfo-instance-protected-or-public]
change a switch rule: (_:K S:K)<:SwitchGroup => S
Merge pull request #18 from kframework/semanticsChange

Semantics change
correct wrong uname usage
Merge pull request #16 from kframework/toolsForReview

Tools for review, tested
Merge remote-tracking branch 'origin/master' into latex-line-break