# HG changeset patch
# User wenzelm
# Date 1707856088 -3600
# Node ID 3430787e062076dfc57a8e1000268670475f3a37
# Parent  1b3770369ee7b3c2c38d07aeac6988be16963fea
tuned comments;

diff -r 1b3770369ee7 -r 3430787e0620 src/Pure/Concurrent/multithreading.ML
--- a/src/Pure/Concurrent/multithreading.ML	Wed Feb 14 08:31:24 2024 +0100
+++ b/src/Pure/Concurrent/multithreading.ML	Tue Feb 13 21:28:08 2024 +0100
@@ -1,7 +1,9 @@
 (*  Title:      Pure/Concurrent/multithreading.ML
     Author:     Makarius
 
-Multithreading in Poly/ML (cf. polyml/basis/Thread.sml).
+Multithreading in Poly/ML, see also
+  - $ML_SOURCES/basis/Thread.sml: numPhysicalProcessors
+  - $ML_SOURCES/libpolyml/processes.cpp: PolyThreadNumPhysicalProcessors
 *)
 
 signature MULTITHREADING =