equal
deleted
inserted
replaced
28 |
28 |
29 Example: |
29 Example: |
30 |
30 |
31 URL="https://isabelle.in.tum.de" isabelle electron \ |
31 URL="https://isabelle.in.tum.de" isabelle electron \ |
32 --app="$(isabelle getenv -b ISABELLE_HOME)"/src/Tools/Electron/test |
32 --app="$(isabelle getenv -b ISABELLE_HOME)"/src/Tools/Electron/test |
|
33 |
|
34 |
|
35 *** HTML/PDF presentation *** |
|
36 |
|
37 * HTML presentation no longer supports README.html, which was meant as |
|
38 add-on to the index.html of a session. Rare INCOMPATIBILITY, consider |
|
39 using a separate theory "README" with Isabelle document markup/markdown. |
33 |
40 |
34 |
41 |
35 *** HOL *** |
42 *** HOL *** |
36 |
43 |
37 * Moved auxiliary computation constant "divmod_nat" to theory |
44 * Moved auxiliary computation constant "divmod_nat" to theory |
202 XZ.compress: Bytes.T -> Bytes.T |
209 XZ.compress: Bytes.T -> Bytes.T |
203 XZ.uncompress: Bytes.T -> Bytes.T |
210 XZ.uncompress: Bytes.T -> Bytes.T |
204 |
211 |
205 |
212 |
206 *** System *** |
213 *** System *** |
207 |
|
208 * HTML presentation no longer supports README.html, which was meant as |
|
209 add-on to the index.html of a session. Rare INCOMPATIBILITY, consider |
|
210 using a separate theory "README" with Isabelle document markup/markdown. |
|
211 |
214 |
212 * Isabelle/Scala is now based on Scala 3. This is a completely different |
215 * Isabelle/Scala is now based on Scala 3. This is a completely different |
213 compiler ("dotty") and a quite different source language (we are using |
216 compiler ("dotty") and a quite different source language (we are using |
214 the classic Java-style syntax, not the new Python-style syntax). |
217 the classic Java-style syntax, not the new Python-style syntax). |
215 Occasional INCOMPATIBILITY, see also the official Scala documentation |
218 Occasional INCOMPATIBILITY, see also the official Scala documentation |