| Sat, 28 Jan 2023 16:08:43 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sat, 28 Jan 2023 16:06:38 +0100 |
wenzelm |
more operations;
|
changeset |
files
|
| Sat, 28 Jan 2023 15:38:36 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 28 Jan 2023 15:35:43 +0100 |
wenzelm |
clarified signature: more robust field_scale;
|
changeset |
files
|
| Sat, 28 Jan 2023 15:04:15 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sat, 28 Jan 2023 13:44:00 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 27 Jan 2023 18:59:48 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 27 Jan 2023 17:33:49 +0100 |
wenzelm |
support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
|
changeset |
files
|
| Fri, 27 Jan 2023 16:49:03 +0100 |
wenzelm |
more explicit types;
|
changeset |
files
|
| Fri, 27 Jan 2023 16:48:19 +0100 |
wenzelm |
prefer typed/strict operations;
|
changeset |
files
|
| Fri, 27 Jan 2023 16:18:36 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Fri, 27 Jan 2023 15:43:45 +0100 |
wenzelm |
prefer strict operation: java.io.File.length returns 0 for non-existent file;
|
changeset |
files
|
| 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
|