runtimeverification/javamop — pull request #140 by xiaohe27 (2014-10-17 19:51:54+00:00)
Title: Document

The current version is not expected to merge to master. Once we have tested the patch and it works as expected, we can put it somewhere in the webpage; and then I can update the URL for the patch in readme.md.
@seriousamlqz @kheradmand @yzhang90 @owolabile Please review if you have time.