README.x-symbol-for-ProofGeneral « x-symbol - proof-general - Emacs plugins for proof management systems

about summary refs log tree commit diff

path: root/x-symbol/README.x-symbol-for-ProofGeneral

blob: 62dad2ed46079ba13ea54a525fdf9ee1ce12304b (plain)

The code in this directory is taken from  

	http://x-symbol.sourceforge.net/

This is version XXXX

No changes have been made for Proof General.