From 7bc4491268808bb6dd8c45a66b46683eeac1940c Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Wed, 22 Nov 2000 20:42:39 +0000
Subject: disable trace option;

---
 isar/interface | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'isar/interface')

diff --git a/isar/interface b/isar/interface
index ca591b24..78d93201 100644
--- a/isar/interface
+++ b/isar/interface
@@ -3,7 +3,8 @@
 # $Id$
 #
 # Proof General interface wrapper for Isabelle.
-set -x
+
+
 ## self references
 
 THIS=$(cd "$(dirname "$0")"; pwd)
-- 
cgit v1.2.3