diff options
Diffstat (limited to 'x-symbol/lisp/x-symbol-vars.el')
| -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.") |