equal
deleted
inserted
replaced
276 * Update to .NET / Fsharp 8.0.x: the current long-term support version. |
276 * Update to .NET / Fsharp 8.0.x: the current long-term support version. |
277 |
277 |
278 * Update to official Poly/ML 5.9.1. |
278 * Update to official Poly/ML 5.9.1. |
279 |
279 |
280 * Update to OpenJDK 21: the current long-term support version of Java. |
280 * Update to OpenJDK 21: the current long-term support version of Java. |
|
281 |
|
282 * Isabelle/Scala now has some support for web-apps, using HTML 5 forms. |
281 |
283 |
282 |
284 |
283 |
285 |
284 New in Isabelle2023 (September 2023) |
286 New in Isabelle2023 (September 2023) |
285 ------------------------------------ |
287 ------------------------------------ |