Admin/isatest/settings/at-poly-5.1-para-e
changeset 32080 0a8b5dfee5a5
parent 31310 b5365a9db718
child 33930 6a973bd43949
equal deleted inserted replaced
32062:457f5bcd3d76 32080:0a8b5dfee5a5
    22 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    22 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    24 
    24 
    25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 20"
    25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 20"
    26 
    26 
    27 HOL_USEDIR_OPTIONS="-p 2 -Q false"
    27 HOL_USEDIR_OPTIONS="-p 2 -q 0"