changeset 59993 | 8f6cacc87f42 |
parent 59114 | 8281f83d286f |
child 60194 | fd2208491d59 |
59992:d8db5172c23f | 59993:8f6cacc87f42 |
---|---|
28 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf threads=2 parallel_proofs=2" |
28 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf threads=2 parallel_proofs=2" |
29 |
29 |
30 ISABELLE_FULL_TEST=true |
30 ISABELLE_FULL_TEST=true |
31 |
31 |
32 ISABELLE_GHC=ghc |
32 ISABELLE_GHC=ghc |
33 |
|
34 Z3_NON_COMMERCIAL="yes" |
|
35 |