blob: 86f6b1857f853c94222b682d7eeb789924103665 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
;; x-symbol-lego.el
;;
;; David Aspinall, adapted from file supplied by David von Obheimb
;; License: GPL (GNU GENERAL PUBLIC LICENSE)
;;
;; $Id$
;;
;; 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)
|
