runtimeverification/javamop — pull request #136 by seriousamlqz (2014-10-15 15:06:31+00:00)
Title: Document

@xiaohe27 @yzhang90 and @kheradmand Please review some document changes