diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-05-17 15:36:05 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-05-17 15:36:05 +0000 |
commit | be285b13d99b4c3aab73c06a532f739bcc398b0f (patch) | |
tree | b68b818fe4b190620b62ee88d72b9db94302984d /isar/interface | |
parent | 5d285946d8d13d678c6c1f0e846f3dfc93fa417c (diff) |
re-use isa/interface-setup.el rather than separate isar version;
Diffstat (limited to 'isar/interface')
-rw-r--r-- | isar/interface | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/interface b/isar/interface index 38adfa7a..1247b935 100644 --- a/isar/interface +++ b/isar/interface @@ -104,7 +104,7 @@ else fi -ARGS="$ARGS -l $PROOFGENERAL_HOME/isar/interface-setup.el" +ARGS="$ARGS -l $PROOFGENERAL_HOME/isa/interface-setup.el" ARGS="$ARGS -l $PROOFGENERAL_HOME/generic/proof-site.el" for FILE in "$ISABELLE_HOME/etc/proofgeneral-settings.el" \ |