diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-06-16 15:07:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-06-16 15:07:25 +0000 |
| commit | 33d32847f5a0ea31d89b8a5a20c784ceffe2bace (patch) | |
| tree | 66a7e34ed295283fe17d7eb192aeb583c84cfb23 | |
| parent | fa6afeafadf077ab7f9a954c3e71b9ea9fad7a7f (diff) | |
Updated.
| -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 d11cfad5..1884ad59 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -2,7 +2,7 @@ The code in this directory is taken from http://x-symbol.sourceforge.net/ -This is version 4.5.1-beta +This is version 4.5.1-beta (dated 2003-05-11 15:00) No changes have been made for Proof General, although the following rearrangements from the package directory layout |