changeset 34238 | b28be884edda |
parent 33539 | c40865233d7e |
child 34296 | 5f454603228b |
34237:225daff4323b | 34238:b28be884edda |
---|---|
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 -t true -M 4 -q 2" |
26 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2" |
27 |
27 |
28 HOL_USEDIR_OPTIONS="-p 2 -q 2" |