--- a/etc/settings Tue Oct 21 20:18:07 2008 +0200
+++ b/etc/settings Tue Oct 21 20:18:45 2008 +0200
@@ -149,7 +149,7 @@
###
-### default logic
+### Default logic
###
ISABELLE_LOGIC=HOL
@@ -202,6 +202,11 @@
"/usr/share/emacs/ProofGeneral/isar/interface" \
"$ISABELLE_INTERFACE")
+
+###
+### Proof General / Emacs
+###
+
# Proof General home, look in a variety of places
PROOFGENERAL_HOME=$(choosefrom \
"$ISABELLE_HOME/contrib/ProofGeneral" \
@@ -219,6 +224,23 @@
#XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
XSYMBOL_INSTALLFONTS=""
+
+###
+### jEdit
+###
+
+JEDIT_HOME=$(choosefrom \
+ "$ISABELLE_HOME/contrib/jedit" \
+ "$ISABELLE_HOME/../jedit" \
+ "/usr/local/jedit" \
+ "/usr/share/jedit" \
+ "/opt/jedit" \
+ "")
+
+JEDIT_JAVA_OPTIONS="-server -Xms128 -Xmx512"
+JEDIT_OPTIONS="-reuseview -noserver -nobackground -settings '$ISABELLE_HOME_USER/jedit'"
+
+
###
### External reasoning tools
###