# HG changeset patch
# User wenzelm
# Date 1116346231 -7200
# Node ID f044579b147c9e23ba03769016e5a23ef5c0fda7
# Parent  aa6744dd998ec07df894e79901258f124d06a4ee
obsolete;

diff -r aa6744dd998e -r f044579b147c etc/isa-settings.el
--- 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)
diff -r aa6744dd998e -r f044579b147c lib/scripts/isa-emacs
--- 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"