equal
deleted
inserted
replaced
73 *** System *** |
73 *** System *** |
74 |
74 |
75 * Multithreading.max_threads := 0 refers to the number of actual CPU |
75 * Multithreading.max_threads := 0 refers to the number of actual CPU |
76 cores of the underlying machine, which is a good starting point for |
76 cores of the underlying machine, which is a good starting point for |
77 optimal performance tuning. The corresponding usedir option -M allows |
77 optimal performance tuning. The corresponding usedir option -M allows |
78 "max" as an alias for "0". WARNING: this does not work on certain |
78 "max" as an alias for "0". WARNING: does not work on certain versions |
79 versions of Mac OS (with Poly/ML 5.1). |
79 of Mac OS (with Poly/ML 5.1). |
80 |
80 |
81 * isatool tty runs Isabelle process with plain tty interaction; |
81 * isatool tty runs Isabelle process with plain tty interaction; |
82 optional line editor may be specified via ISABELLE_LINE_EDITOR |
82 optional line editor may be specified via ISABELLE_LINE_EDITOR |
83 setting, the default settings attempt to locate "ledit" and "rlwrap". |
83 setting, the default settings attempt to locate "ledit" and "rlwrap". |
84 |
84 |