etc/settings
changeset 48840 7e19dc018db9
parent 48574 4af9f3122138
child 49000 0cebcbeac4c7
equal deleted inserted replaced
48839:f49745d1395a 48840:7e19dc018db9
    94 
    94 
    95 ###
    95 ###
    96 ### Misc path settings
    96 ### Misc path settings
    97 ###
    97 ###
    98 
    98 
       
    99 ISABELLE_COMPONENT_REPOSITORY="http://isabelle.in.tum.de/components"
       
   100 
    99 # The place for user configuration, heap files, etc.
   101 # The place for user configuration, heap files, etc.
   100 if [ -z "$ISABELLE_IDENTIFIER" ]; then
   102 if [ -z "$ISABELLE_IDENTIFIER" ]; then
   101   ISABELLE_HOME_USER="$USER_HOME/.isabelle"
   103   ISABELLE_HOME_USER="$USER_HOME/.isabelle"
   102 else
   104 else
   103   ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"
   105   ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"