kframework/k — pull request #1207 by omarz1 (2014-11-25 13:36:52+00:00)
Title: Fixed typos in the documentation

Even though this file will still undergo many edits, and even though fixing typos is usually done in the final revision, I just felt like doing it now, if you don't mind.