From dccfa9059f3a73c25880b12043188eb885fa184b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 18 Aug 2010 16:37:04 +0000 Subject: Fix wiki links --- COMPATIBILITY | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'COMPATIBILITY') diff --git a/COMPATIBILITY b/COMPATIBILITY index 314efe66..58efe3c9 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -20,7 +20,7 @@ Running on Windows For tips, please see here: - http://proofgeneral.inf.ed.ac.uk/wiki/PG/PGEmacsOnWindows + http://proofgeneral.inf.ed.ac.uk/wiki/PGEmacsOnWindows We recommend EmacsW32 available at: @@ -46,7 +46,7 @@ Running on Mac OS X For tips, please see here: - http://proofgeneral.inf.ed.ac.uk/wiki/PG/PGEmacsOnMacOSX + http://proofgeneral.inf.ed.ac.uk/wiki/PGEmacsOnMacOSX We recommend the 23.2 build of GNU Emacs, which builds natively on Mac OS X (based on the NextStep port). Binaries are available at various -- cgit v1.2.3