diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-08-24 11:15:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-24 11:15:27 +0000 |
| commit | 990a57a3b22c3042d7dd3440feeed7e07a0aa5de (patch) | |
| tree | 00723bc795ce403838d468d0c8b148161215a012 /x-symbol | |
| parent | d29421a66295fd9c1f66d98f5dde44519bac343e (diff) | |
Updated.
Diffstat (limited to 'x-symbol')
| -rw-r--r-- | x-symbol/README.x-symbol-for-ProofGeneral | 6 | ||||
| -rw-r--r-- | x-symbol/lisp/x-symbol-vars.el | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral index 1884ad59..6f8712a6 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -4,9 +4,9 @@ The code in this directory is taken from 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 -have been made: +No changes have been made for Proof General except the addition of the +string "[Proof General]" to x-symbol-version. The following +rearrangements from the package directory layout have been made: for f in etc lisp man; do mv $f/x-symbol/* $f; rmdir $f/x-symbol; done diff --git a/x-symbol/lisp/x-symbol-vars.el b/x-symbol/lisp/x-symbol-vars.el index 3fc3358c..ac020879 100644 --- a/x-symbol/lisp/x-symbol-vars.el +++ b/x-symbol/lisp/x-symbol-vars.el @@ -37,7 +37,7 @@ (require 'x-symbol-hooks) (eval-when-compile (require 'cl)) -(defconst x-symbol-version "4.5.1" +(defconst x-symbol-version "4.5.1 [Proof General]" "Current development version of package X-Symbol. Check <http://x-symbol.sourceforge.net/> for the newest.") |