hol98/x-symbol-hol98.el


1
2
3
4
5
6
7
8
9
10
11
12

;; 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)