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.

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

(limited to 'hol98')

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