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.

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

(limited to 'twelf')

diff --git a/twelf/x-symbol-twelf.el b/twelf/x-symbol-twelf.el
deleted file mode 100644
index a448f4d1..00000000
--- a/twelf/x-symbol-twelf.el
+++ /dev/null
@@ -1,12 +0,0 @@
-;; x-symbol-twelf.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 Twelf has been removed in this release, sorry.")
-
-(provide 'x-symbol-twelf)
-- 
cgit v1.2.3