Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. prefer HTTPS;
  2. just one global lock for group status: avoid proliferation of mutexes, condvars;
  3. more frugal assignment of lazy value: fewer mutexes, condvars; cannot use RunCall.clearMutableBit due to spurious crashes;
  4. replaced subgroup_imp_subset in Modules
  5. merged
  6. de-applying
  7. merged
  8. submodules
Changeset 68599:cc7b5e0355a5 by wenzelm:
prefer HTTPS;
The file was modified ANNOUNCE (diff)
Changeset 68598:d465b396ef85 by wenzelm:
just one global lock for group status: avoid proliferation of mutexes, condvars;
The file was modified src/Pure/Concurrent/task_queue.ML (diff)
Changeset 68597:afa7c5a239e6 by wenzelm:
more frugal assignment of lazy value: fewer mutexes, condvars;<br>cannot use RunCall.clearMutableBit due to spurious crashes;
The file was modified src/Pure/Concurrent/lazy.ML (diff)
The file was modified src/Pure/Concurrent/synchronized.ML (diff)
Changeset 68596:81086e6f5429 by paulson _lp15@cam.ac.uk_:
replaced subgroup_imp_subset in Modules
The file was modified src/HOL/Algebra/Module.thy (diff)
Changeset 68595:57b9d993cc98 by paulson:
merged
Changeset 68594:5b05ede597b8 by paulson _lp15@cam.ac.uk_:
de-applying
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)
The file was modified src/HOL/Series.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 68593:d32d40d03e0a by paulson:
merged
Changeset 68592:6366129107ad by paulson _lp15@cam.ac.uk_:
submodules
The file was modified src/HOL/Algebra/Module.thy (diff)