1.1 --- a/etc/isa-settings.el	Tue May 17 17:01:35 2005 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,7 +0,0 @@
     1.4 -;
     1.5 -; $Id$
     1.6 -;
     1.7 -; Options for Isamode (old)
     1.8 -;
     1.9 -
    1.10 -(setq isa-use-sml-mode nil)

     2.1 --- a/lib/scripts/isa-emacs	Tue May 17 17:01:35 2005 +0200
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,95 +0,0 @@
     2.4 -#!/usr/bin/env bash
     2.5 -#
     2.6 -# $Id$
     2.7 -# Author: Markus Wenzel, TU Muenchen
     2.8 -#
     2.9 -# Emacs Isamode interface wrapper.
    2.10 -
    2.11 -
    2.12 -## diagnostics
    2.13 -
    2.14 -PRG="$(basename "$0")"
    2.15 -
    2.16 -function usage()
    2.17 -{
    2.18 -  echo
    2.19 -  echo "Usage: $PRG [OPTIONS]"
    2.20 -  echo
    2.21 -  echo "  Options are:"
    2.22 -  echo "    -g GEOM      main window geometry (default none)"
    2.23 -  echo "    -p NAME      Emacs program name (default xemacs)"
    2.24 -  echo "    -u BOOL      use .emacs file (default false)"
    2.25 -  echo
    2.26 -  echo "Starts Emacs and Isamode."
    2.27 -  echo
    2.28 -  echo "  ISAMODE_OPTIONS=$ISAMODE_OPTIONS"
    2.29 -  echo
    2.30 -  exit 1
    2.31 -}
    2.32 -
    2.33 -function fail()
    2.34 -{
    2.35 -  echo "$1" >&2
    2.36 -  exit 2
    2.37 -}
    2.38 -
    2.39 -
    2.40 -## process command line
    2.41 -
    2.42 -# options
    2.43 -
    2.44 -MAINGEOM=""
    2.45 -PROGNAME=xemacs
    2.46 -INITFILE=false
    2.47 -
    2.48 -function getoptions()
    2.49 -{
    2.50 -  OPTIND=1
    2.51 -  while getopts "g:p:u:" OPT
    2.52 -  do
    2.53 -    case "$OPT" in
    2.54 -      g)
    2.55 -        MAINGEOM="$OPTARG"
    2.56 -        ;;
    2.57 -      p)
    2.58 -        PROGNAME="$OPTARG"
    2.59 -        ;;
    2.60 -      u)
    2.61 -        INITFILE="$OPTARG"
    2.62 -        ;;
    2.63 -      \?)
    2.64 -        usage
    2.65 -        ;;
    2.66 -    esac
    2.67 -  done
    2.68 -}
    2.69 -
    2.70 -getoptions $ISAMODE_OPTIONS
    2.71 -
    2.72 -getoptions "$@"
    2.73 -shift $(($OPTIND - 1))
    2.74 -
    2.75 -
    2.76 -# args
    2.77 -
    2.78 -[ "$#" != 0 ] && usage
    2.79 -
    2.80 -
    2.81 -## main
    2.82 -
    2.83 -ARGS=""
    2.84 -
    2.85 -[ -n "$MAINGEOM" ] && ARGS="$ARGS -geometry $MAINGEOM"
    2.86 -[ "$INITFILE" = false ] && ARGS="$ARGS -q"
    2.87 -
    2.88 -
    2.89 -ARGS="$ARGS -l '$ISAMODE_HOME/elisp/isa-site.el'"
    2.90 -
    2.91 -for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \
    2.92 -    "$ISABELLE_HOME_USER/etc/isa-settings.el"
    2.93 -do
    2.94 -  [ -f "$FILE" ] && ARGS="$ARGS -l '$FILE'"
    2.95 -done
    2.96 -
    2.97 -ARGS="$ARGS -f isabelle"
    2.98 -eval exec "$PROGNAME" -T "Isabelle" "$ARGS"