equal
deleted
inserted
replaced
181 the begin of a new theory can be achieved via Theory.at_begin. |
181 the begin of a new theory can be achieved via Theory.at_begin. |
182 |
182 |
183 * Antiquotations @{scala_function}, @{scala}, @{scala_thread} refer to |
183 * Antiquotations @{scala_function}, @{scala}, @{scala_thread} refer to |
184 registered Isabelle/Scala functions (of type String => String): |
184 registered Isabelle/Scala functions (of type String => String): |
185 invocation works via the PIDE protocol. |
185 invocation works via the PIDE protocol. |
|
186 |
|
187 * Path.append is available as overloaded "+" operator, similar to |
|
188 corresponding Isabelle/Scala operation. |
186 |
189 |
187 |
190 |
188 *** System *** |
191 *** System *** |
189 |
192 |
190 * Update/rebuild external provers on currently supported OS platforms, |
193 * Update/rebuild external provers on currently supported OS platforms, |