From b65dbe902217f4252f106f7f281980d4b9ce2a40 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 25 Jan 2011 19:13:39 +0000
Subject: Remove debug messages

---
 isar/isar-autotest.el | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'isar')

diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el
index 18c0db81..461e1611 100644
--- a/isar/isar-autotest.el
+++ b/isar/isar-autotest.el
@@ -21,9 +21,6 @@
 
 (require 'pg-autotest)
 
-(setq proof-general-debug t)	 ; for development: see debug messages
-
-
 (unless noninteractive
 
   (pg-autotest log ".autotest.log")  ; convention
-- 
cgit v1.2.3