Sat, 28 Jan 2023 16:20:44 +0100 tuned;
wenzelm [Sat, 28 Jan 2023 16:20:44 +0100] rev 77122
tuned;
Sat, 28 Jan 2023 16:08:43 +0100 clarified signature: more explicit types;
wenzelm [Sat, 28 Jan 2023 16:08:43 +0100] rev 77121
clarified signature: more explicit types; scale chart output, instead of stored data;
Sat, 28 Jan 2023 16:06:38 +0100 more operations;
wenzelm [Sat, 28 Jan 2023 16:06:38 +0100] rev 77120
more operations;
Sat, 28 Jan 2023 15:38:36 +0100 tuned;
wenzelm [Sat, 28 Jan 2023 15:38:36 +0100] rev 77119
tuned;
Sat, 28 Jan 2023 15:35:43 +0100 clarified signature: more robust field_scale;
wenzelm [Sat, 28 Jan 2023 15:35:43 +0100] rev 77118
clarified signature: more robust field_scale;
Sat, 28 Jan 2023 15:04:15 +0100 clarified signature: more explicit types;
wenzelm [Sat, 28 Jan 2023 15:04:15 +0100] rev 77117
clarified signature: more explicit types;
Sat, 28 Jan 2023 13:44:00 +0100 clarified signature;
wenzelm [Sat, 28 Jan 2023 13:44:00 +0100] rev 77116
clarified signature;
Fri, 27 Jan 2023 18:59:48 +0100 tuned;
wenzelm [Fri, 27 Jan 2023 18:59:48 +0100] rev 77115
tuned;
Fri, 27 Jan 2023 17:33:49 +0100 support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
wenzelm [Fri, 27 Jan 2023 17:33:49 +0100] rev 77114
support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
Fri, 27 Jan 2023 16:49:03 +0100 more explicit types;
wenzelm [Fri, 27 Jan 2023 16:49:03 +0100] rev 77113
more explicit types;
Fri, 27 Jan 2023 16:48:19 +0100 prefer typed/strict operations;
wenzelm [Fri, 27 Jan 2023 16:48:19 +0100] rev 77112
prefer typed/strict operations;
Fri, 27 Jan 2023 16:18:36 +0100 tuned message;
wenzelm [Fri, 27 Jan 2023 16:18:36 +0100] rev 77111
tuned message;
Fri, 27 Jan 2023 15:43:45 +0100 prefer strict operation: java.io.File.length returns 0 for non-existent file;
wenzelm [Fri, 27 Jan 2023 15:43:45 +0100] rev 77110
prefer strict operation: java.io.File.length returns 0 for non-existent file;
Fri, 27 Jan 2023 15:33:21 +0100 prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition;
wenzelm [Fri, 27 Jan 2023 15:33:21 +0100] rev 77109
prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition;
Fri, 27 Jan 2023 15:22:26 +0100 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()");
wenzelm [Fri, 27 Jan 2023 15:22:26 +0100] rev 77108
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()"); enforce rebuild of Isabelle/ML + Isabelle/Scala;
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 tip