blob: 1301e337d3e4d974af03f7433992c22599d6f79e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
The code in this directory is taken from
http://x-symbol.sourceforge.net/
This is version 4.5 (based on pacakge release direct from author)
No changes have been made for Proof General, although the
following rearrangements from the package directory layout
have been made:
for f in etc lisp man; do mv $f/x-symbol/* $f; rmdir $f/x-symbol; done
Moreover, lisp/Makefile and lisp/makefile.pkg were copied from
X-Symbol source package, and lisp/makefile.pkg edited to remove
x-symbol-emacs from list of compiled files (since it breaks
on XEmacs compile).
|
