equal
deleted
inserted
replaced
135 Isabelle/Scala functions (of type String => String): invocation works |
135 Isabelle/Scala functions (of type String => String): invocation works |
136 via the PIDE protocol. |
136 via the PIDE protocol. |
137 |
137 |
138 |
138 |
139 *** System *** |
139 *** System *** |
|
140 |
|
141 * The shell function "isabelle_directory" (within etc/settings of |
|
142 components) augments the list of special directories for persistent |
|
143 symbolic path names. This improves portability of heap images and |
|
144 session databases. It used to be hard-wired for Isabelle + AFP, but |
|
145 other projects may now participate on equal terms. |
140 |
146 |
141 * ML statistics via an external Poly/ML process: this allows monitoring |
147 * ML statistics via an external Poly/ML process: this allows monitoring |
142 the runtime system while the ML program sleeps. |
148 the runtime system while the ML program sleeps. |
143 |
149 |
144 * Batch-builds via "isabelle build" use a PIDE session with special |
150 * Batch-builds via "isabelle build" use a PIDE session with special |