From 142a273eaa9803941b48ade269c77080cc7c58e8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Jun 2000 13:35:52 +0000
Subject: Changed 'complete to 'proof-script-complete to use
 proof-case-fold-search.

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

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 5cacdd96..cada66b3 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -46,7 +46,7 @@
 ;; (define-key map [(meta p)]		  'proof-previous-matching-command)
 ;; (define-key map [(meta n)]		  'proof-next-matching-command)
 ;; Standard binding for completion
-(define-key map [(control return)] 'complete)
+(define-key map [(control return)] 'proof-script-complete)
 ;(define-key map [(control c) ?u] 'proof-retract-until-point-interactive)
 ;; Add the universal keys bound in all PG buffers.
 (proof-define-keys map proof-universal-keys))
-- 
cgit v1.2.3