From 64a4e312f60d0a9255efe880d1d05efc4c06e5f5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 20:19:48 +0000
Subject: Use proof-general-short-version

---
 generic/proof-splash.el | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'generic')

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
-- 
cgit v1.2.3