equal
deleted
inserted
replaced
19 |
19 |
20 # Heap output location. ML system identifier is appended automatically later on. |
20 # Heap output location. ML system identifier is appended automatically later on. |
21 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
21 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
22 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
22 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
23 |
23 |
24 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" |
|
25 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf" |
24 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf" |
26 |
25 |