From 7bc4491268808bb6dd8c45a66b46683eeac1940c Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 22 Nov 2000 20:42:39 +0000
Subject: disable trace option;

---
 isa/interface  | 3 ++-
 isar/interface | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/isa/interface b/isa/interface
index ca591b24..78d93201 100644
--- a/isa/interface
+++ b/isa/interface
@@ -3,7 +3,8 @@
 # $Id$
 #
 # Proof General interface wrapper for Isabelle.
-set -x
+
+
 ## self references
 
 THIS=$(cd "$(dirname "$0")"; pwd)
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