lib/scripts/isa-emacs

 #!/bin/bash
 #
 # $Id$
 #
-# GNU Emacs Isamode interface.
+# Emacs Isamode interface wrapper.
 
 
 ## diagnostics
 
 PRG=$(basename $0)

   echo "Usage: $PRG [OPTIONS]"
   echo
   echo "  Options are:"
   echo "    -g GEOM      main window geometry (default 80x20)"
   echo
-  echo "  Starts GNU Emacs and Isamode."
+  echo "  Starts Emacs and Isamode."
   echo
   exit 1
 }
 
 function fail()

 [ $# != 0 ] && usage
 
 
 ## main
 
-# prepare startup file
+CMDS="-l $ISAMODE_HOME/elisp/isa-site.el"
 
-STARTUP=/tmp/isa-start$$.el
+for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \
+    "$ISABELLE_HOME_USER/etc/isa-settings.el"
+do
+  [ -f "$FILE" ] && CMDS="$CMDS -l $FILE"
+done
 
-{
-  echo "(load \"$ISAMODE_HOME/elisp/isa-site.el\")"
-  echo
-
-  echo "(setq isa-logic-paths"
-  echo -n "'("
-  for DIR in $(echo $ISABELLE_PATH | tr : " ")
-  do
-    [ -d $DIR ] && echo "\"$DIR\""
-  done
-  echo "\"$ISAMODE_HOME/ruletables\"))"
-  echo
-
-  DOC=$(echo $ISABELLE_DOCS | cut -f1 -d:)       #first doc dir only
-  echo "(setq isa-manual-path \"$DOC\")"
-  echo
-
-  for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \
-    "$ISABELLE_HOME_USER/etc/isa-settings.el"
-  do
-    [ -f "$FILE" ] && echo "(load \"$FILE\")"
-  done
-  echo
-
-  echo "(isabelle)"
-} >$STARTUP
+CMDS="$CMDS -f isabelle"
 
 
-# run it!
-
-$ISATOOL installfonts
-
-emacs -name "Isabelle" \
-  -fn isabelle14 -geometry $MAINGEOM \
-  --no-init-file \
-  --load $STARTUP
-
-rm $STARTUP
+$ISAMODE_EMACS -T "Isabelle" -geometry $MAINGEOM $CMDS