src/Pure/General/space.scala
Sun, 26 Mar 2023 12:41:34 +0200 wenzelm clarified signature: more explicit types;
Mon, 20 Mar 2023 11:13:01 +0100 wenzelm more operations;
Sat, 18 Mar 2023 20:23:17 +0100 wenzelm more operations;
Sat, 28 Jan 2023 16:20:44 +0100 wenzelm tuned;
Sat, 28 Jan 2023 16:06:38 +0100 wenzelm more operations;
Sat, 28 Jan 2023 13:44:00 +0100 wenzelm clarified signature;
Fri, 27 Jan 2023 17:33:49 +0100 wenzelm support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
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;
less more (0) tip