equal
deleted
inserted
replaced
23 |
23 |
24 # Heap output location. ML system identifier is appended automatically later on. |
24 # Heap output location. ML system identifier is appended automatically later on. |
25 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
25 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
26 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
26 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
27 |
27 |
28 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2" |
28 ISABELLE_BUILD_OPTIONS="browser_info=false document=pdf document_variants=document:outline=/proof,/ML threads=4 parallel_proofs=2" |
29 |
29 |
30 ISABELLE_FULL_TEST=true |
30 ISABELLE_FULL_TEST=true |
31 |
31 |
32 Z3_NON_COMMERCIAL="yes" |
32 Z3_NON_COMMERCIAL="yes" |
33 |
33 |