meiersi/scyther-proof — pull request #7 by lochbihl (2013-02-27 11:08:35+00:00)
Title: update README.md to Isabelle2013

Isabelle now has two user interfaces, namely ProofGeneral and PIDE. The latter no longer depends on isar keyword files. Also, it now supports to have user-local keyword files. I changed the description of how to install the keyword file accordingly.