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 ###