*** System *** * Global session timeout is multiplied by timeout_scale factor. This allows to adjust large-scale tests (e.g. AFP) to overall hardware performance. This refers to Isabelle/a2f0f659a3c2, which also contains a bit of documentation. Makarius