diff options
| -rw-r--r-- | isa/interface | 6 | ||||
| -rw-r--r-- | isar/interface | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/isa/interface b/isa/interface index ffc45cbc..46ac8a7f 100644 --- a/isa/interface +++ b/isa/interface @@ -149,6 +149,12 @@ fi ARGS="$ARGS -l '$SUPER/isa/interface-setup.el'" +if [ -f "$ISABELLE_HOME_USER/etc/isar-keywords.el" ]; then + ARGS="$ARGS -l '$ISABELLE_HOME_USER/etc/isar-keywords.el'" +elif [ -f "$ISABELLE_HOME/etc/isar-keywords.el" ]; then + ARGS="$ARGS -l '$ISABELLE_HOME/etc/isar-keywords.el'" +fi + for FILE in "$ISABELLE_HOME/etc/proofgeneral-settings.el" \ "$ISABELLE_HOME_USER/etc/proofgeneral-settings.el" do diff --git a/isar/interface b/isar/interface index ffc45cbc..46ac8a7f 100644 --- a/isar/interface +++ b/isar/interface @@ -149,6 +149,12 @@ fi ARGS="$ARGS -l '$SUPER/isa/interface-setup.el'" +if [ -f "$ISABELLE_HOME_USER/etc/isar-keywords.el" ]; then + ARGS="$ARGS -l '$ISABELLE_HOME_USER/etc/isar-keywords.el'" +elif [ -f "$ISABELLE_HOME/etc/isar-keywords.el" ]; then + ARGS="$ARGS -l '$ISABELLE_HOME/etc/isar-keywords.el'" +fi + for FILE in "$ISABELLE_HOME/etc/proofgeneral-settings.el" \ "$ISABELLE_HOME_USER/etc/proofgeneral-settings.el" do |