1.1 --- a/etc/settings	Sat Aug 22 22:31:00 2009 +0200
     1.2 +++ b/etc/settings	Sat Aug 22 23:16:11 2009 +0200
     1.3 @@ -207,22 +207,6 @@
     1.4  
     1.5  
     1.6  ###
     1.7 -### jEdit
     1.8 -###
     1.9 -
    1.10 -JEDIT_HOME=$(choosefrom \
    1.11 -  "$ISABELLE_HOME/contrib/jedit" \
    1.12 -  "$ISABELLE_HOME/../jedit" \
    1.13 -  "/usr/local/jedit" \
    1.14 -  "/usr/share/jedit" \
    1.15 -  "/opt/jedit" \
    1.16 -  "")
    1.17 -
    1.18 -JEDIT_JAVA_OPTIONS=""
    1.19 -#JEDIT_JAVA_OPTIONS="-server -Xms128m -Xmx512m"
    1.20 -JEDIT_OPTIONS="-reuseview -noserver -nobackground"
    1.21 -
    1.22 -###
    1.23  ### External reasoning tools
    1.24  ###
    1.25  

     2.1 --- a/lib/Tools/jedit	Sat Aug 22 22:31:00 2009 +0200
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,24 +0,0 @@
     2.4 -#!/usr/bin/env bash
     2.5 -#
     2.6 -# Author: Makarius
     2.7 -#
     2.8 -# DESCRIPTION: Isabelle/jEdit interface wrapper
     2.9 -
    2.10 -
    2.11 -## diagnostics
    2.12 -
    2.13 -function fail()
    2.14 -{
    2.15 -  echo "$1" >&2
    2.16 -  exit 2
    2.17 -}
    2.18 -
    2.19 -
    2.20 -## main
    2.21 -
    2.22 -[ -z "$JEDIT_HOME" ] && fail "Missing Isabelle/jEdit installation (JEDIT_HOME)"
    2.23 -
    2.24 -INTERFACE="$JEDIT_HOME/interface"
    2.25 -[ ! -x "$INTERFACE" ] && fail "Bad interface script: \"$INTERFACE\""
    2.26 -
    2.27 -exec "$INTERFACE" "$@"