Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
changeset 11981 ad67e8d2c75f
parent 11800 5f84c687ba06
child 12476 eca43a50e4a4
equal deleted inserted replaced
11980:98a1bb0bfd3a 11981:ad67e8d2c75f 
   171   "/usr/local/ProofGeneral/isar/interface" \
 
   171   "/usr/local/ProofGeneral/isar/interface" \
 
   172   "/opt/ProofGeneral/isar/interface" \
 
   172   "/opt/ProofGeneral/isar/interface" \
 
   173   "/usr/share/emacs/ProofGeneral/isar/interface" \
 
   173   "/usr/share/emacs/ProofGeneral/isar/interface" \
 
   174   "$ISABELLE_INTERFACE")
 
   174   "$ISABELLE_INTERFACE")
 
   175 PROOFGENERAL_OPTIONS=""
 
   175 PROOFGENERAL_OPTIONS=""
 
       
   176 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true"
 
   176 
   177 
   177 # X-Symbol mode for Proof General
 
   178 # X-Symbol mode for Proof General
 
   178 XSYMBOL_HOME=$(choosefrom \
 
   179 XSYMBOL_HOME=$(choosefrom \
 
   179   "$ISABELLE_HOME/contrib/x-symbol" \
 
   180   "$ISABELLE_HOME/contrib/x-symbol" \
 
   180   "$ISABELLE_HOME/../x-symbol" \
 
   181   "$ISABELLE_HOME/../x-symbol" \
isabelle