1.1 --- a/etc/settings	Tue Oct 21 20:18:07 2008 +0200
     1.2 +++ b/etc/settings	Tue Oct 21 20:18:45 2008 +0200
     1.3 @@ -149,7 +149,7 @@
     1.4  
     1.5  
     1.6  ###
     1.7 -### default logic
     1.8 +### Default logic
     1.9  ###
    1.10  
    1.11  ISABELLE_LOGIC=HOL
    1.12 @@ -202,6 +202,11 @@
    1.13    "/usr/share/emacs/ProofGeneral/isar/interface" \
    1.14    "$ISABELLE_INTERFACE")
    1.15  
    1.16 +
    1.17 +###
    1.18 +### Proof General / Emacs
    1.19 +###
    1.20 +
    1.21  # Proof General home, look in a variety of places
    1.22  PROOFGENERAL_HOME=$(choosefrom \
    1.23    "$ISABELLE_HOME/contrib/ProofGeneral" \
    1.24 @@ -219,6 +224,23 @@
    1.25  #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
    1.26  XSYMBOL_INSTALLFONTS=""
    1.27  
    1.28 +
    1.29 +###
    1.30 +### jEdit
    1.31 +###
    1.32 +
    1.33 +JEDIT_HOME=$(choosefrom \
    1.34 +  "$ISABELLE_HOME/contrib/jedit" \
    1.35 +  "$ISABELLE_HOME/../jedit" \
    1.36 +  "/usr/local/jedit" \
    1.37 +  "/usr/share/jedit" \
    1.38 +  "/opt/jedit" \
    1.39 +  "")
    1.40 +
    1.41 +JEDIT_JAVA_OPTIONS="-server -Xms128 -Xmx512"
    1.42 +JEDIT_OPTIONS="-reuseview -noserver -nobackground -settings '$ISABELLE_HOME_USER/jedit'"
    1.43 +
    1.44 +
    1.45  ###
    1.46  ### External reasoning tools
    1.47  ###