From 39cb0b047ea9d2fd362dc2e1e1cce6a72857890d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Aug 2002 11:28:07 +0000
Subject: Disable undo history for efficiency.

---
 generic/pg-goals.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/pg-goals.el b/generic/pg-goals.el
index 2e98fd73..907f4fe5 100644
--- a/generic/pg-goals.el
+++ b/generic/pg-goals.el
@@ -32,7 +32,9 @@ May enable proof-by-pointing or similar features.
   (easy-menu-add proof-goals-mode-menu proof-goals-mode-map)
   (easy-menu-add proof-assistant-menu proof-goals-mode-map)
   (proof-toolbar-setup)
-  (erase-buffer)))
+  (erase-buffer)
+  (buffer-disable-undo)
+  (set-buffer-modified-p nil)))
 
 ;;
 ;; Keys for goals buffer
-- 
cgit v1.2.3