etc/settings
changeset 9569 68400ff46b09
parent 9252 83060e826e02
child 9679 6dca83af209b
equal deleted inserted replaced
9568:20c410fb5104 9569:68400ff46b09
   148 elif [ -d "$ISABELLE_HOME/../ProofGeneral" ]; then
   148 elif [ -d "$ISABELLE_HOME/../ProofGeneral" ]; then
   149   ISABELLE_INTERFACE="$ISABELLE_HOME/../ProofGeneral/isar/interface"
   149   ISABELLE_INTERFACE="$ISABELLE_HOME/../ProofGeneral/isar/interface"
   150 fi
   150 fi
   151 PROOFGENERAL_OPTIONS=""
   151 PROOFGENERAL_OPTIONS=""
   152 
   152 
       
   153 # X-Symbol mode -- look in canonical place
       
   154 if [ -d "$ISABELLE_HOME/contrib/x-symbol" ]; then
       
   155   XSYMBOL_HOME="$ISABELLE_HOME/contrib/x-symbol"
       
   156 fi
       
   157 
   153 
   158 
   154 ###
   159 ###
   155 ### External reasoning tools
   160 ### External reasoning tools
   156 ###
   161 ###
   157 
   162