;; x-symbol-acl2.el
;;
;; David Aspinall, adapted from file supplied by David von Obheimb
;;
;; x-symbol-acl2.el,v 9.0 2008/01/30 15:22:06 da Exp
;;

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