| Sun, 03 Mar 2024 17:47:50 +0100 | wenzelm | more robust: imitate Isabelle/ML operation more closely (after 26a43785590b); | file | diff | annotate |
| Sun, 03 Mar 2024 16:32:59 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 17 Feb 2024 17:23:22 +0100 | wenzelm | clarified modules: centralize default policy; | file | diff | annotate |
| Thu, 15 Feb 2024 09:53:58 +0100 | wenzelm | more robust defaults; | file | diff | annotate |
| Wed, 14 Feb 2024 15:29:52 +0100 | wenzelm | more robust: avoid occasional problems reading this special file (e.g. SSH.Local or "lxcisa0"); | file | diff | annotate |
| 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 |