etc/settings
changeset 9956 e75e6a603e71
parent 9948 3a01ecb6f65d
child 9973 d048e08f3347
equal deleted inserted replaced
9955:6ed42bcba707 9956:e75e6a603e71
   149 ISABELLE_INTERFACE=$(choosefrom \
   149 ISABELLE_INTERFACE=$(choosefrom \
   150   "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
   150   "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
   151   "$ISABELLE_HOME/../ProofGeneral/isar/interface" \
   151   "$ISABELLE_HOME/../ProofGeneral/isar/interface" \
   152   "/usr/share/ProofGeneral/isar/interface" \
   152   "/usr/share/ProofGeneral/isar/interface" \
   153   "/usr/local/ProofGeneral/isar/interface" \
   153   "/usr/local/ProofGeneral/isar/interface" \
       
   154   "/usr/share/emacs/ProofGeneral/isar/interface" \
   154   "$ISABELLE_INTERFACE")
   155   "$ISABELLE_INTERFACE")
   155 PROOFGENERAL_OPTIONS=""
   156 PROOFGENERAL_OPTIONS=""
   156 
   157 
   157 # X-Symbol mode for Proof General
   158 # X-Symbol mode for Proof General
   158 XSYMBOL_HOME=$(choosefrom \
   159 XSYMBOL_HOME=$(choosefrom \