Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. provide naproche-6d0d76ce2f2a;
  3. Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b
  4. updated to flatlaf-1.0;
  5. tuned NEWS;
  6. tuned comments;
  7. more robust interrupt handling as in Future.forked_results (amending 64df1e514005);
  8. more parallelism: avoid exhaustion of standard thread pool;
Changeset 73251:15ea7f6fb422 by wenzelm:
merged
Changeset 73250:e3e117660199 by wenzelm:
provide naproche-6d0d76ce2f2a;
The file was modified Admin/components/components.sha1 (diff)
Changeset 73249:24494191e058 by wenzelm:
Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b
The file was modified .hgtags (diff)
Changeset 73248:ed36e33a2e4b by wenzelm:
updated to flatlaf-1.0;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 73247:d92409f8203a by wenzelm:
tuned NEWS;
The file was modified NEWS (diff)
Changeset 73246:b9c480878663 by wenzelm:
tuned comments;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 73245:f69cbb59813e by wenzelm:
more robust interrupt handling as in Future.forked_results (amending 64df1e514005);
The file was modified src/Pure/System/scala.ML (diff)
Changeset 73244:5bded25065f8 by wenzelm:
more parallelism: avoid exhaustion of standard thread pool;
The file was modified src/Pure/System/bash.ML (diff)