Admin/ProofGeneral/3.7.1.1/isar-antiq-regexp.patch
Thu, 27 Jan 2011 20:46:20 +0100 wenzelm old Proof General patches;
less more (0) tip