Summary
- merged
- unconditional Multithreading; 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 removed | lib/scripts/process |
The file was removed | src/Pure/Concurrent/bash_sequential.ML |
The file was removed | src/Pure/Concurrent/lazy_sequential.ML |
The file was removed | src/Pure/Concurrent/par_list_sequential.ML |
The file was removed | src/Pure/Concurrent/single_assignment_sequential.ML |
The file was removed | src/Pure/Concurrent/synchronized_sequential.ML |
The file was removed | src/Pure/RAW/multithreading_polyml.ML |