diff options
-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 |