From f7c083541866f7c91a7aabfb2660bb7b9440b53e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 10 Dec 2007 11:19:09 +0000
Subject: Fix string quoting

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

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 03e09b82..bbf0a921 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -789,7 +789,7 @@ or if the window is the only window of its frame."
 ***
 *** To see if your bug has been reported already, and a new ticket if not.
 *** To report a bug, either register yourself as a user, or use the generic account
-*** username "pgemacs" with password "pgemacs"
+*** username \"pgemacs\" with password \"pgemacs\"
 ***
 *** Please only continue with this email mechanism instead IF YOU REALLY MUST.  
 *** The address is not monitored very often and quite possibly will be ignored.  
-- 
cgit v1.2.3