diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 20:19:48 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 20:19:48 +0000 |
commit | 64a4e312f60d0a9255efe880d1d05efc4c06e5f5 (patch) | |
tree | 6f2a3940d7e509a9a45bef405e535737db5fbb6a /generic/proof-splash.el | |
parent | 609a69821db204aad0f9bd3a3e7ecfebc455e4e1 (diff) |
Use proof-general-short-version
Diffstat (limited to 'generic/proof-splash.el')
-rw-r--r-- | generic/proof-splash.el | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index a89fc7b4..efc4afb9 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -36,10 +36,7 @@ Proof General." "Welcome to" (concat proof-assistant " Proof General!") nil - (substring proof-general-version - (string-match "Version [^ ]+ " - proof-general-version) - (match-end 0)) + (concat "Version " proof-general-short-version ".") nil "(C) LFCS, University of Edinburgh, 2004." nil |