equal
deleted
inserted
replaced
20 |
20 |
21 # Heap output location. ML system identifier is appended automatically later on. |
21 # Heap output location. ML system identifier is appended automatically later on. |
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 20" |
25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 10" |
26 |
26 |
27 HOL_USEDIR_OPTIONS="-p 2 -q 0" |
27 HOL_USEDIR_OPTIONS="-p 2 -q 0" |