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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
