# HG changeset patch
# User wenzelm
# Date 1677765864 -3600
# Node ID e50cad69cbe79ede0d50ed1020a8fcfb9b615aed
# Parent  f376aebca9c1a644fa395e7753ca890e127ea814
tuned comments;

diff -r f376aebca9c1 -r e50cad69cbe7 src/Pure/System/host.scala
--- a/src/Pure/System/host.scala	Thu Mar 02 14:58:59 2023 +0100
+++ b/src/Pure/System/host.scala	Thu Mar 02 15:04:24 2023 +0100
@@ -4,7 +4,8 @@
 Information about compute hosts, including NUMA: Non-Uniform Memory Access of
 separate CPU nodes.
 
-See also https://www.open-mpi.org/projects/hwloc notably "hwloc-ls".
+See also https://www.open-mpi.org/projects/hwloc --- notably "lstopo" or
+"hwloc-ls" (e.g. via Ubuntu package "hwloc").
 */
 
 package isabelle