runtimeverification/javamop — pull request #177 by grosu (2014-11-02 20:02:00+00:00)
Title: Revised all md files, except Usage.md

@seriousamlqz @kheradmand @kheradmand @yzhang90 Please review.
@pdaian Please check English, too.