Summary
- workaround for occasional deadlock seen in HOL-Proofs with threads=2;
- adapted to 3869b2400e22;
The file was modified | src/Pure/Isar/locale.ML (diff) |
The file was modified | src/Tools/VSCode/src/protocol.scala (diff) |
The file was modified | src/Pure/Isar/locale.ML (diff) |
The file was modified | src/Tools/VSCode/src/protocol.scala (diff) |