diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 16:37:04 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 16:37:04 +0000 |
commit | dccfa9059f3a73c25880b12043188eb885fa184b (patch) | |
tree | a013d3aeb331aeab8375b415403cec0bc5ac4e8d /COMPATIBILITY | |
parent | 14546c942f950b11e1afee9fec396eb21889b75d (diff) |
Fix wiki links
Diffstat (limited to 'COMPATIBILITY')
-rw-r--r-- | COMPATIBILITY | 4 |
1 files changed, 2 insertions, 2 deletions
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 |