equal
deleted
inserted
replaced
403 |
403 |
404 |
404 |
405 *** System *** |
405 *** System *** |
406 |
406 |
407 * Update to OpenJDK 17: the current long-term support version of Java. |
407 * Update to OpenJDK 17: the current long-term support version of Java. |
408 |
|
409 * Perl is no longer required by Isabelle proper, and longer provided by |
|
410 specific Isabelle execution environments (Docker, Cygwin on Windows). |
|
411 Minor INCOMPATIBILITY, add-on applications involving perl need to |
|
412 provide it by different means. (Note that proper Isabelle systems |
|
413 programming works via Scala/Java, without perl, python, ruby etc.). |
|
414 |
408 |
415 * Each Isabelle component may specify a Scala/Java jar module |
409 * Each Isabelle component may specify a Scala/Java jar module |
416 declaratively via etc/build.props (file names are relative to the |
410 declaratively via etc/build.props (file names are relative to the |
417 component directory). E.g. see $ISABELLE_HOME/etc/build.props with |
411 component directory). E.g. see $ISABELLE_HOME/etc/build.props with |
418 further explanations in the "system" manual. |
412 further explanations in the "system" manual. |