diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-03-03 20:07:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-03-03 20:07:14 +0000 |
| commit | 4faefa6f9f4be34f85165bee8789ecae1fd1c42f (patch) | |
| tree | d5b173a6694c3cc5f1029f0e38dd0ff81309a049 /x-symbol | |
| parent | c2a7580cf4f48518675cfdb2a676a4d3037f52e9 (diff) | |
Updated.
Diffstat (limited to 'x-symbol')
| -rw-r--r-- | x-symbol/README.x-symbol-for-ProofGeneral | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral index 67e64b9a..8b91e3d7 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -4,4 +4,5 @@ The code in this directory is taken from This is version 4.5 (direct from author) -No changes have been made for Proof General. +No changes have been made for Proof General. + |