isabelle: Changelog

wenzelm [Sat, 28 Jan 2023 15:35:43 +0100] rev 77118

clarified signature: more robust field_scale;

wenzelm [Sat, 28 Jan 2023 15:04:15 +0100] rev 77117

clarified signature: more explicit types;

wenzelm [Sat, 28 Jan 2023 13:44:00 +0100] rev 77116

clarified signature;

wenzelm [Fri, 27 Jan 2023 18:59:48 +0100] rev 77115

tuned;

wenzelm [Fri, 27 Jan 2023 17:33:49 +0100] rev 77114

support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;

wenzelm [Fri, 27 Jan 2023 16:49:03 +0100] rev 77113

more explicit types;

wenzelm [Fri, 27 Jan 2023 16:48:19 +0100] rev 77112

prefer typed/strict operations;

wenzelm [Fri, 27 Jan 2023 16:18:36 +0100] rev 77111

tuned message;

wenzelm [Fri, 27 Jan 2023 15:43:45 +0100] rev 77110

prefer strict operation: java.io.File.length returns 0 for non-existent file;

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;

isabelle