diff options
Diffstat (limited to 'isar/interface')
| -rw-r--r-- | isar/interface | 3 |
1 files changed, 2 insertions, 1 deletions
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) |