12 Feb
2010
12 Feb
'10
9:57 p.m.
On Fri, 12 Feb 2010, Makarius wrote:
$ Isabelle2009-1/bin/isabelle tty -l HOL Welcome to Isabelle/HOL (Isabelle2009-1: December 2009)
exit
ML>
And invoke it as above, replacing "HOL" by "Pure" in the command line.
BTW, in this tty mode the nominal number of worker threads is determined as follows:
ML> Multithreading.max_threads; ML> Multithreading.max_threads_value ();
The default for Multithreading.max_threads is 0, so the actual value will depend on the number of hardware threads, topped by 4. You can also assign specific values 4, 8, 12, 16 as you see fit.
Makarius