From 8d2397c13fc126bdf6e07bfc267e378b852127e4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Aug 2001 15:23:23 +0000
Subject: Trivial

---
 generic/proof-splash.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index 1e26883a..54f90858 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -68,7 +68,7 @@ If it is nil, a new line is inserted."
     ;; FIXME (minor): shouldn't be defcustom since evaluated here
     '(list
       "To start using Proof General, visit a proof script file"
-      "for your prover, using C-x C-f or the File menu."))
+      "for your prover, using C-x C-f or the \"File\" menu."))
     "Prover specific extensions of splash screen.
 These are evaluated and appended to `proof-splash-contents'."
   :type 'sexp
-- 
cgit v1.2.3