;; x-symbol-lego.el
;;
;; David Aspinall, adapted from file supplied by David von Obheimb
;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
;;
;; x-symbol-lego.el,v 8.0 2004/04/17 23:40:00 da Exp
;;

;; FIXME: to revitalise this, see coq/x-symbol-coq.el

(error "LEGO support for X-Symbol has been removed in this release, sorry.")

(provide 'x-symbol-lego)
