Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. workaround for occasional deadlock seen in HOL-Proofs with threads=2;
  2. adapted to 3869b2400e22;
Changeset 67814:c4c4c2f01723 by wenzelm:
workaround for occasional deadlock seen in HOL-Proofs with threads=2;
The file was modified src/Pure/Isar/locale.ML (diff)
Changeset 67813:3e226d3b7bc6 by wenzelm:
adapted to 3869b2400e22;
The file was modified src/Tools/VSCode/src/protocol.scala (diff)