x-symbol/README.x-symbol-for-ProofGeneral


1
2
3
4
5
6
7

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.