wenzelm [Sat, 25 Nov 2023 20:09:20 +0100] rev 79062
clarified modules: Build_Log.private_data provides raw data access without transaction_lock;
wenzelm [Sat, 25 Nov 2023 17:33:29 +0100] rev 79061
more thorough transaction_lock;
wenzelm [Sat, 25 Nov 2023 17:11:32 +0100] rev 79060
obsolete, see also a5896fe040dd;
wenzelm [Sat, 25 Nov 2023 16:49:48 +0100] rev 79059
removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
wenzelm [Sat, 25 Nov 2023 16:13:08 +0100] rev 79058
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm [Fri, 24 Nov 2023 22:22:41 +0100] rev 79057
merged
wenzelm [Fri, 24 Nov 2023 21:54:30 +0100] rev 79056
more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43);
wenzelm [Fri, 24 Nov 2023 21:32:32 +0100] rev 79055
clarified buffer_size;
wenzelm [Fri, 24 Nov 2023 20:58:29 +0100] rev 79054
merged
wenzelm [Fri, 24 Nov 2023 20:58:12 +0100] rev 79053
disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL-Analysis" on arm64_32-darwin (studio1);