From 4e27bf1a3f0e0babbac03377e6ed8668288f8cd0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jul 2008 10:13:31 +0000
Subject: Note about Emacs.app

---
 COMPATIBILITY | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/COMPATIBILITY b/COMPATIBILITY
index 5e6fd390..ef032027 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -61,7 +61,8 @@ Book, or copy directly to /Library/Fonts or ~/Library/Fonts.
 
 Note: Emacs.app looks set to become the future supported Mac port of
 GNU Emacs, and is based on GNU Emacs 23.  It should work well with
-this version of Proof General.
+this version of Proof General, but at the time of writing the latest
+binary release is not as reliable as that of Carbon Emacs.
 
 Note that Mac compatibility isn't thoroughly tested by the
 maintainers.  If you discover problems, please send a report and/or
-- 
cgit v1.2.3