| Fri, 27 Jan 2023 15:33:21 +0100 | wenzelm | prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition; | changeset | files |
| Fri, 27 Jan 2023 15:22:26 +0100 | wenzelm | back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()"); | changeset | files |
| Fri, 27 Jan 2023 19:16:38 +0100 | haftmann | Restored antiquotation. | changeset | files |
| Thu, 26 Jan 2023 15:18:55 +0100 | haftmann | tuned whitespace | changeset | files |