| changeset 34238 | b28be884edda |
| parent 33502 | cf392b693385 |
| child 35088 | 6591285a6a59 |
| 34237:225daff4323b | 34238:b28be884edda |
|---|---|
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" |
25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" |
26 |
26 |
27 HOL_USEDIR_OPTIONS="-p 0" |