equal
deleted
inserted
replaced
152 |
152 |
153 * More ambitious minimization of case expressions in generated code. |
153 * More ambitious minimization of case expressions in generated code. |
154 |
154 |
155 * Code generation for Scala: type annotations in pattern bindings |
155 * Code generation for Scala: type annotations in pattern bindings |
156 are printed in a way suitable for Scala 3. |
156 are printed in a way suitable for Scala 3. |
|
157 |
|
158 |
|
159 *** ML *** |
|
160 |
|
161 * Type Bytes.T supports scalable byte strings, beyond the limit of |
|
162 String.maxSize (approx. 64 MB on 64_32 architecture). |
|
163 |
|
164 * Operations for XZ compression (via Isabelle/Scala): |
|
165 |
|
166 Isabelle_System.compress: Bytes.T -> Bytes.T |
|
167 Isabelle_System.uncompress: Bytes.T -> Bytes.T |
157 |
168 |
158 |
169 |
159 *** System *** |
170 *** System *** |
160 |
171 |
161 * Command-line tool "isabelle scala_project" supports Gradle as |
172 * Command-line tool "isabelle scala_project" supports Gradle as |