diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-03-01 11:37:18 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-03-01 11:37:18 +0000 |
commit | e09dcb214463a2c6cb9a3609aa55005af32e5061 (patch) | |
tree | 6ebb217412f297e0d4c07367db067f2f1937309c /x-symbol | |
parent | a53b1f1038bedc120172433054915145e47ee9e8 (diff) |
Update to 4.5 (pre?) version CW sent
Diffstat (limited to 'x-symbol')
-rw-r--r-- | x-symbol/README.x-symbol-for-ProofGeneral | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral index 62dad2ed..67e64b9a 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -2,6 +2,6 @@ The code in this directory is taken from http://x-symbol.sourceforge.net/ -This is version XXXX +This is version 4.5 (direct from author) No changes have been made for Proof General. |