equal
deleted
inserted
replaced
127 Isabelle/Scala functions (of type String => String): invocation works |
127 Isabelle/Scala functions (of type String => String): invocation works |
128 via the PIDE protocol. |
128 via the PIDE protocol. |
129 |
129 |
130 |
130 |
131 *** System *** |
131 *** System *** |
|
132 |
|
133 * ML statistics via an external Poly/ML process: this allows monitoring |
|
134 the runtime system while the ML program sleeps. |
132 |
135 |
133 * Batch-builds via "isabelle build" use a PIDE session with special |
136 * Batch-builds via "isabelle build" use a PIDE session with special |
134 protocol: this allows to invoke Isabelle/Scala operations from |
137 protocol: this allows to invoke Isabelle/Scala operations from |
135 Isabelle/ML. Big build jobs (e.g. AFP) require extra heap space for the |
138 Isabelle/ML. Big build jobs (e.g. AFP) require extra heap space for the |
136 java process, e.g. like this in $ISABELLE_HOME_USER/etc/settings: |
139 java process, e.g. like this in $ISABELLE_HOME_USER/etc/settings: |