Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43);
  3. clarified buffer_size;
  4. merged
  5. disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL-Analysis" on arm64_32-darwin (studio1);
  6. workaround for "fix" JDK-4512626 in Java 20/21: avoid spurious caret in read-only text;
  7. tuned;
  8. prefer Unix-domain socket on Unix;
  9. support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;
  10. tuned;
  11. clarified signature: more general make_streams;
  12. tuned;
  13. more robust exception handling (amending 8cc1ae43e12e);
  14. clarified signature: avoid deprecated URL constructors;
  15. avoid deprecated URL constructors;
Changeset 79057:156bfa6a2836 by wenzelm:
merged
Changeset 79056:1f34f6394383 by wenzelm:
more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43);
The file was modified src/Pure/General/socket_io.ML
The file was modified src/Pure/System/system_channel.scala
Changeset 79055:c83cdd300848 by wenzelm:
clarified buffer_size;
The file was modified src/Pure/System/system_channel.scala
Changeset 79054:edc0dbd59d48 by wenzelm:
merged
Changeset 79053:badb3da19ac6 by wenzelm:
disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL-Analysis" on arm64_32-darwin (studio1);
The file was modified src/Pure/System/isabelle_process.scala
The file was modified src/Pure/System/system_channel.scala
Changeset 79052:d5cf21ad8b47 by wenzelm:
workaround for "fix" JDK-4512626 in Java 20/21: avoid spurious caret in read-only text;
The file was modified src/Tools/jEdit/src/session_build.scala
Changeset 79051:c87e4a5a3823 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/session_build.scala
Changeset 79050:4d8716098d41 by wenzelm:
prefer Unix-domain socket on Unix;
The file was modified src/Pure/System/isabelle_process.scala
Changeset 79049:10b6add456d0 by wenzelm:
support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;
The file was modified src/Pure/General/socket_io.ML
The file was modified src/Pure/ROOT.ML
The file was modified src/Pure/System/system_channel.scala
Changeset 79048:caddfe4949a8 by wenzelm:
tuned;
The file was modified src/Pure/System/system_channel.scala
Changeset 79047:13afea5203f1 by wenzelm:
clarified signature: more general make_streams;
The file was modified src/Pure/General/socket_io.ML
Changeset 79046:926fc9ca7360 by wenzelm:
tuned;
The file was modified src/Pure/General/socket_io.ML
Changeset 79045:24d04dd5bf01 by wenzelm:
more robust exception handling (amending 8cc1ae43e12e);
The file was modified src/Pure/General/file.scala
The file was modified src/Pure/General/url.scala
Changeset 79044:8cc1ae43e12e by wenzelm:
clarified signature: avoid deprecated URL constructors;
The file was modified src/Pure/General/file.scala
The file was modified src/Pure/General/json_api.scala
The file was modified src/Pure/General/mailman.scala
The file was modified src/Pure/General/url.scala
Changeset 79043:22c41ee13939 by wenzelm:
avoid deprecated URL constructors;
The file was modified src/Tools/GraphBrowser/graphbrowser/GraphBrowser.java