| changeset 25821 | 2e565f8275f5 |
| parent 25790 | 63701321e40b |
| child 26210 | cf904c5642e1 |
| 25820:8228b198c49e | 25821:2e565f8275f5 |
|---|---|
27 else |
27 else |
28 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
28 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
29 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
29 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
30 fi |
30 fi |
31 |
31 |
32 ISABELLE_USEDIR_OPTIONS="-v true -M 4" |
32 ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4" |
33 |
33 |
34 HOL_USEDIR_OPTIONS="-p 2" |
34 HOL_USEDIR_OPTIONS="-p 2" |