Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. unconditional Multithreading; clarified files;
Changeset 62360:3fd79fcdb491 by wenzelm:
merged
Changeset 62359:6709e51d5c11 by wenzelm:
unconditional Multithreading;<br>clarified files;
The file was modified src/Pure/Concurrent/future.ML (diff)
The file was modified src/Pure/RAW/ROOT_polyml.ML (diff)
The file was modified src/Pure/RAW/multithreading.ML (diff)
The file was modified src/Pure/ROOT (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/message_channel.ML (diff)
The file was removedlib/scripts/process
The file was removedsrc/Pure/Concurrent/bash_sequential.ML
The file was removedsrc/Pure/Concurrent/lazy_sequential.ML
The file was removedsrc/Pure/Concurrent/par_list_sequential.ML
The file was removedsrc/Pure/Concurrent/single_assignment_sequential.ML
The file was removedsrc/Pure/Concurrent/synchronized_sequential.ML
The file was removedsrc/Pure/RAW/multithreading_polyml.ML