Admin/isatest/settings/mac-poly64-M4
changeset 33160 ccbd4ad5a965
parent 32853 8b63f949fc37
child 33539 c40865233d7e
equal deleted inserted replaced
33159:369da293bbd4 33160:ccbd4ad5a965
    21 
    21 
    22 # Heap output location. ML system identifier is appended automatically later on.
    22 # Heap output location. ML system identifier is appended automatically later on.
    23 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    23 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    24 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    24 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    25 
    25 
    26 ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4 -q 2 -t true"
    26 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
    27 
    27 
    28 HOL_USEDIR_OPTIONS="-p 2 -q 2"
    28 HOL_USEDIR_OPTIONS="-p 2 -q 2"