Wed, 14 Feb 2024 15:22:21 +0100 | wenzelm | more robust default; | file | diff | annotate |
Wed, 14 Feb 2024 15:01:27 +0100 | wenzelm | more accurate, notably on lxbroy10 and vmnipkow9; | file | diff | annotate |
Wed, 14 Feb 2024 14:41:18 +0100 | wenzelm | clarified num_processors: follow Poly/ML (with its inaccuracies); | file | diff | annotate |
Wed, 14 Feb 2024 14:16:56 +0100 | wenzelm | clarified modules, following Isabelle/ML; | file | diff | annotate |