Admin/ProofGeneral/isar-antiq-regexp.patch
2009-11-26 wenzelm 2009-11-26 patch for the infamous antiquotation font-lock problem of Proof General 3.7.1 with GNU Emacs, cf. http://proofgeneral.inf.ed.ac.uk/trac/ticket/236