[isabelle-dev] NEWS

Makarius makarius at sketis.net
Fri Aug 10 00:21:44 CEST 2007


* System: Experimental support for multithreading, using Poly/ML 5.1 
  (internal version from CVS). The maximum number of threads is specified 
  via usedir option -M or the "max-threads" setting in Proof General. 
  User-code needs to observe certain guidelines for thread-safe 
  programming, see appendix A in the Isar Implementation manual.



More information about the isabelle-dev mailing list