From fefd73ae2041d78fd1a87f7e9b563012608ef207 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 12 Oct 1999 13:52:39 +0000 Subject: Added message for reporting problems to splash screen. --- generic/proof-config.el | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'generic') diff --git a/generic/proof-config.el b/generic/proof-config.el index 187d7efa..f181860e 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1290,6 +1290,10 @@ Proof General." nil "Welcome to" (concat proof-assistant " Proof General!") + nil + nil +" Please send problems and suggestions to proofgen@dcs.ed.ac.uk, + or use the menu command Proof-General -> Submit bug report." nil) "Evaluated to configure splash screen displayed when entering Proof General. If an element is a string or an image specifier, it is displayed -- cgit v1.2.3