runtimeverification/javamop — pull request #164 by xiaohe27 (2014-10-29 19:55:26+00:00)
Title: update readme to remove some duplicated warnings

As suggested by @Cansu and @kheradmand , too many similar warnings may have opposite effects: users may become quite familiar with the warnings so that they will not treat the warnings seriously when they feel they can guess the contents of the warnings. Now I only preserve the **Note** in the 'Install' section. @kheradmand @seriousamlqz please review.