# HG changeset patch
# User wenzelm
# Date 965861123 -7200
# Node ID 68400ff46b0908ce313ad9eefc8f39042757dea4
# Parent  20c410fb51046d746032bf6246201c75fa414492
X-Symbol mode -- look in canonical place;

diff -r 20c410fb5104 -r 68400ff46b09 etc/settings
--- a/etc/settings	Wed Aug 09 21:14:07 2000 +0200
+++ b/etc/settings	Thu Aug 10 00:45:23 2000 +0200
@@ -150,6 +150,11 @@
 fi
 PROOFGENERAL_OPTIONS=""
 
+# X-Symbol mode -- look in canonical place
+if [ -d "$ISABELLE_HOME/contrib/x-symbol" ]; then
+  XSYMBOL_HOME="$ISABELLE_HOME/contrib/x-symbol"
+fi
+
 
 ###
 ### External reasoning tools