| Wed, 14 Feb 2024 17:00:47 +0100 | wenzelm | merged | changeset | files |
| Wed, 14 Feb 2024 16:30:27 +0100 | wenzelm | prefer physical processors (see also 4b014e6c1dfe and 26a43785590b); | changeset | files |
| Wed, 14 Feb 2024 15:29:52 +0100 | wenzelm | more robust: avoid occasional problems reading this special file (e.g. SSH.Local or "lxcisa0"); | changeset | files |
| Wed, 14 Feb 2024 15:22:21 +0100 | wenzelm | more robust default; | changeset | files |
| Wed, 14 Feb 2024 15:01:27 +0100 | wenzelm | more accurate, notably on lxbroy10 and vmnipkow9; | changeset | files |
| Wed, 14 Feb 2024 14:41:18 +0100 | wenzelm | clarified num_processors: follow Poly/ML (with its inaccuracies); | changeset | files |
| Wed, 14 Feb 2024 14:16:56 +0100 | wenzelm | clarified modules, following Isabelle/ML; | changeset | files |