diff -r a7ba12e0d3b7 -r 0e3f899eb6cf etc/settings
--- 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
 ###