blob: 81d936eb423e52c5ca0a5e7e6c22914859fe18cf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
The code in this directory is taken from
http://x-symbol.sourceforge.net/
This is version 4.5 (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
|
