Skip to content
Success

Changes

Summary

  1. more manual tests;
  2. store immutable result: fewer refs, mutexes, condvars;
Changeset 68591:90381a0f5474 by wenzelm:
more manual tests;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 68590:f3c3c1e6133a by wenzelm:
store immutable result: fewer refs, mutexes, condvars;
The file was modified src/Pure/Concurrent/lazy.ML (diff)