--- a/etc/isa-settings.el Tue May 17 17:01:35 2005 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-;
-; $Id$
-;
-; Options for Isamode (old)
-;
-
-(setq isa-use-sml-mode nil)
--- a/lib/scripts/isa-emacs Tue May 17 17:01:35 2005 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,95 +0,0 @@
-#!/usr/bin/env bash
-#
-# $Id$
-# Author: Markus Wenzel, TU Muenchen
-#
-# Emacs Isamode interface wrapper.
-
-
-## diagnostics
-
-PRG="$(basename "$0")"
-
-function usage()
-{
- echo
- echo "Usage: $PRG [OPTIONS]"
- echo
- echo " Options are:"
- echo " -g GEOM main window geometry (default none)"
- echo " -p NAME Emacs program name (default xemacs)"
- echo " -u BOOL use .emacs file (default false)"
- echo
- echo "Starts Emacs and Isamode."
- echo
- echo " ISAMODE_OPTIONS=$ISAMODE_OPTIONS"
- echo
- exit 1
-}
-
-function fail()
-{
- echo "$1" >&2
- exit 2
-}
-
-
-## process command line
-
-# options
-
-MAINGEOM=""
-PROGNAME=xemacs
-INITFILE=false
-
-function getoptions()
-{
- OPTIND=1
- while getopts "g:p:u:" OPT
- do
- case "$OPT" in
- g)
- MAINGEOM="$OPTARG"
- ;;
- p)
- PROGNAME="$OPTARG"
- ;;
- u)
- INITFILE="$OPTARG"
- ;;
- \?)
- usage
- ;;
- esac
- done
-}
-
-getoptions $ISAMODE_OPTIONS
-
-getoptions "$@"
-shift $(($OPTIND - 1))
-
-
-# args
-
-[ "$#" != 0 ] && usage
-
-
-## main
-
-ARGS=""
-
-[ -n "$MAINGEOM" ] && ARGS="$ARGS -geometry $MAINGEOM"
-[ "$INITFILE" = false ] && ARGS="$ARGS -q"
-
-
-ARGS="$ARGS -l '$ISAMODE_HOME/elisp/isa-site.el'"
-
-for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \
- "$ISABELLE_HOME_USER/etc/isa-settings.el"
-do
- [ -f "$FILE" ] && ARGS="$ARGS -l '$FILE'"
-done
-
-ARGS="$ARGS -f isabelle"
-eval exec "$PROGNAME" -T "Isabelle" "$ARGS"