diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-11-22 20:42:39 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-11-22 20:42:39 +0000 |
| commit | 7bc4491268808bb6dd8c45a66b46683eeac1940c (patch) | |
| tree | 4fe6db9fe88c47376ca84dcec7f639a85245580d | |
| parent | d6d7a0be9aa3c56917b7d956b322953b5305506e (diff) | |
disable trace option;
| -rw-r--r-- | isa/interface | 3 | ||||
| -rw-r--r-- | 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) |