diff options
| author | David Aspinall | 2004-08-24 11:15:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-08-24 11:15:27 +0000 |
| commit | 990a57a3b22c3042d7dd3440feeed7e07a0aa5de (patch) | |
| tree | 00723bc795ce403838d468d0c8b148161215a012 /x-symbol/lisp | |
| parent | d29421a66295fd9c1f66d98f5dde44519bac343e (diff) | |
Updated.
Diffstat (limited to 'x-symbol/lisp')
| -rw-r--r-- | x-symbol/lisp/x-symbol-vars.el | 2 |
1 files changed, 1 insertions, 1 deletions
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.") |