From 6e693e661aa7b05748fe83975815ee93a7d569b6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 8 Jun 2002 01:59:38 +0000
Subject: Fix keysym to use FSF syntax

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index f80b2981..3ca8b7ab 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -2348,7 +2348,7 @@ If this table is empty or needs adjusting, please make changes using
   (cons
    (if proof-running-on-XEmacs 
        '([(control c) \`] . proof-next-error)
-     '([(control c) "`"] . proof-next-error))
+     '("`" . proof-next-error))
    '(([(control c) (control c)] . proof-interrupt-process)
      ([(control c) (control v)] . proof-minibuffer-cmd)))
 "List of key-bindings made for the script, goals and response buffer. 
-- 
cgit v1.2.3