etc/settings
changeset 28651 0e3f899eb6cf
parent 28504 7ad7d7d6df47
child 28657 16bbb7fabe0e
equal deleted inserted replaced
28650:a7ba12e0d3b7 28651:0e3f899eb6cf
   147 [ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \
   147 [ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \
   148   { echo >&2 "### Isabelle site settings already present!  Maybe copied etc/settings in full?"; }
   148   { echo >&2 "### Isabelle site settings already present!  Maybe copied etc/settings in full?"; }
   149 
   149 
   150 
   150 
   151 ###
   151 ###
   152 ### default logic
   152 ### Default logic
   153 ###
   153 ###
   154 
   154 
   155 ISABELLE_LOGIC=HOL
   155 ISABELLE_LOGIC=HOL
   156 
   156 
   157 
   157 
   200   "/usr/share/ProofGeneral/isar/interface" \
   200   "/usr/share/ProofGeneral/isar/interface" \
   201   "/opt/ProofGeneral/isar/interface" \
   201   "/opt/ProofGeneral/isar/interface" \
   202   "/usr/share/emacs/ProofGeneral/isar/interface" \
   202   "/usr/share/emacs/ProofGeneral/isar/interface" \
   203   "$ISABELLE_INTERFACE")
   203   "$ISABELLE_INTERFACE")
   204 
   204 
       
   205 
       
   206 ###
       
   207 ### Proof General / Emacs
       
   208 ###
       
   209 
   205 # Proof General home, look in a variety of places
   210 # Proof General home, look in a variety of places
   206 PROOFGENERAL_HOME=$(choosefrom \
   211 PROOFGENERAL_HOME=$(choosefrom \
   207   "$ISABELLE_HOME/contrib/ProofGeneral" \
   212   "$ISABELLE_HOME/contrib/ProofGeneral" \
   208   "$ISABELLE_HOME/../ProofGeneral" \
   213   "$ISABELLE_HOME/../ProofGeneral" \
   209   "/usr/local/ProofGeneral" \
   214   "/usr/local/ProofGeneral" \
   217 
   222 
   218 # Automatic setup of remote fonts
   223 # Automatic setup of remote fonts
   219 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
   224 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
   220 XSYMBOL_INSTALLFONTS=""
   225 XSYMBOL_INSTALLFONTS=""
   221 
   226 
       
   227 
       
   228 ###
       
   229 ### jEdit
       
   230 ###
       
   231 
       
   232 JEDIT_HOME=$(choosefrom \
       
   233   "$ISABELLE_HOME/contrib/jedit" \
       
   234   "$ISABELLE_HOME/../jedit" \
       
   235   "/usr/local/jedit" \
       
   236   "/usr/share/jedit" \
       
   237   "/opt/jedit" \
       
   238   "")
       
   239 
       
   240 JEDIT_JAVA_OPTIONS="-server -Xms128 -Xmx512"
       
   241 JEDIT_OPTIONS="-reuseview -noserver -nobackground -settings '$ISABELLE_HOME_USER/jedit'"
       
   242 
       
   243 
   222 ###
   244 ###
   223 ### External reasoning tools
   245 ### External reasoning tools
   224 ###
   246 ###
   225 
   247 
   226 ## Set HOME only for tools you have installed!
   248 ## Set HOME only for tools you have installed!