| changeset 32086 | 0a8b5dfee5a5 |
| parent 31310 | b5365a9db718 |
| child 34238 | b28be884edda |
| 32078:457f5bcd3d76 | 32086: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 2" |
25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 2" |
26 |
26 |
27 HOL_USEDIR_OPTIONS="-p 2 -Q false" |
27 HOL_USEDIR_OPTIONS="-p 2 -q 0" |