From ce14001a95d829263dcbc602bf39588b0c12e810 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 10 Mar 2010 22:26:33 +0000
Subject: *** empty log message ***

---
 COMPATIBILITY | 1 +
 1 file changed, 1 insertion(+)

(limited to 'COMPATIBILITY')

diff --git a/COMPATIBILITY b/COMPATIBILITY
index 467dfe99..98da00f7 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -15,6 +15,7 @@ Maintaining compatibility across proof assistant versions, Emacs
 versions and operating systems is virtually impossible.  In this major
 release ** XEmacs compatibility has been dropped **
 
+
 Running on Windows
 ------------------
 
-- 
cgit v1.2.3