From 401fde8814f51692e73b0ad5704d41de3d9e2918 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 30 Aug 2001 20:55:38 +0000
Subject: include ISABELLE_HOME_USER/etc/isar-keywords.el or  
 ISABELLE_HOME/etc/isar-keywords.el if available;

---
 isar/interface | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'isar/interface')

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
-- 
cgit v1.2.3