Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Thu, 02 Mar 2023 15:04:24 +0100
changeset 77478 e50cad69cbe7
parent 77477 f376aebca9c1
child 77479 abc9706a4ca2
tuned comments;
src/Pure/System/host.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle