[Xsb-development] More on "flora" bug

[David S. W. <wa...@cs...>]

Terrance Swift writes:

 > I dont recommend holding the new version until I find the bug, but I
 > do think its time to bite the bullet and make local scheduling the
 > default, as we will be doing that when we move to Sintese.  Any
 > thoughts on this?

I agree that we should make local the default.  It's what I always use 
these days.

-David