etc/settings
changeset 3184 4e0bbfb113d5
parent 3182 3270d7bca923
child 3256 0a45cdd7da37
equal deleted inserted replaced
3183:537f7281d42c 3184:4e0bbfb113d5
    66 else
    66 else
    67   ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    67   ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    68 fi
    68 fi
    69 
    69 
    70 #Users may want to change this.
    70 #Users may want to change this.
    71 DEFAULT_LOGIC=HOL
    71 ISABELLE_LOGIC=HOL
    72 
    72 
    73 
    73 
    74 ## Docs
    74 ## Docs
    75 
    75 
    76 #Where to look for docs (multiple dirs separated by ':').
    76 #Where to look for docs (multiple dirs separated by ':').