runtimeverification/javamop — pull request #181 by kheradmand (2014-11-04 23:01:25+00:00)
Title: Docs again and again

addressed #180