* Proof General keywords specification is now part of the Isabelle   distribution (see etc/isar-keywords.el);
* Proof General keywords specification is now part of the Isabelle
  distribution (see etc/isar-keywords.el);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle