| changeset 59565 | 96e860a17b9a |
| parent 59136 | c2b23cb8a677 |
| child 60200 | 02fd729f2883 |
| 59564:fdc03c8daacc | 59565:96e860a17b9a |
|---|---|
32 ### |
32 ### |
33 ### Batch sessions (cf. isabelle build) |
33 ### Batch sessions (cf. isabelle build) |
34 ### |
34 ### |
35 |
35 |
36 ISABELLE_BUILD_OPTIONS="" |
36 ISABELLE_BUILD_OPTIONS="" |
37 ISABELLE_BUILD_JAVA_OPTIONS="-Xmx1024m -Xss1m" |
37 ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xmx1024m -Xss1m" |
38 |
38 |
39 |
39 |
40 ### |
40 ### |
41 ### Document preparation (cf. isabelle latex/document) |
41 ### Document preparation (cf. isabelle latex/document) |
42 ### |
42 ### |