equal
deleted
inserted
replaced
269 shell function "isabelle_scala_service" in etc/settings (e.g. of an |
269 shell function "isabelle_scala_service" in etc/settings (e.g. of an |
270 Isabelle component); see implementations of class |
270 Isabelle component); see implementations of class |
271 Isabelle_System.Service in Isabelle/Scala. This supersedes former |
271 Isabelle_System.Service in Isabelle/Scala. This supersedes former |
272 "isabelle_scala_tools" and "isabelle_file_format": minor |
272 "isabelle_scala_tools" and "isabelle_file_format": minor |
273 INCOMPATIBILITY. |
273 INCOMPATIBILITY. |
|
274 |
|
275 * The syntax of theory load commands (for auxiliary files) is now |
|
276 specified in Isabelle/Scala, as instance of class |
|
277 isabelle.Command_Span.Load_Command registered via isabelle_scala_service |
|
278 in etc/settings. This allows more flexible schemes than just a list of |
|
279 file extensions. Minor INCOMPATIBILITY, e.g. see theory |
|
280 HOL-SPARK.SPARK_Setup to emulate the old behaviour. |
274 |
281 |
275 * Isabelle server allows user-defined commands via |
282 * Isabelle server allows user-defined commands via |
276 isabelle_scala_service. |
283 isabelle_scala_service. |
277 |
284 |
278 * Isabelle/Phabricator supports Ubuntu 20.04 LTS. |
285 * Isabelle/Phabricator supports Ubuntu 20.04 LTS. |