From 76d6b0b2b1f039549d308a0d2c478a6b05869af9 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 24 Jul 2008 09:51:53 +0000
Subject: Merge changes from Version4Branch.

---
 acl2/x-symbol-acl2.el | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 acl2/x-symbol-acl2.el

(limited to 'acl2')

diff --git a/acl2/x-symbol-acl2.el b/acl2/x-symbol-acl2.el
deleted file mode 100644
index d246b1ae..00000000
--- a/acl2/x-symbol-acl2.el
+++ /dev/null
@@ -1,12 +0,0 @@
-;; x-symbol-acl2.el
-;;
-;; David Aspinall, adapted from file supplied by David von Obheimb
-;;
-;; $Id$
-;;
-
-;; FIXME: to revitalise this, see coq/x-symbol-coq.el
-
-(error "X-Symbol support for ACL2 has been removed in this release, sorry.")
-
-(provide 'x-symbol-acl2)
-- 
cgit v1.2.3