coop/preempt [was: Re: release 0.0.0.20 and thoughts]
Wed, 23 Aug 1995 21:04:05 +0200
> > b) many good things in the far future are worse than some good things now.
> But TUNES is a Usefull Not Expedient System.
very funny. you go on:
> ... this whole debate ... is being done far too early. We should
> implement preemptive multitasking and only [then] ...
that's what i was saying.
> The fact that proofs are an essetial part of TUNES is clearly outlined
> on the Web documents (about the HLL).
sure. i was referring to provably cooperative programs, they're not a main
goal, as far as i can see.