9fans archive / 1999 / 12 / 14 /    prev next

From: FODEMESI Gergely fgergo@eik...
Subject: [9fans] spin2000, correction
Date: Mon, 13 Dec 1999 19:41:19 +0100 (MET)


Yes, that was it...

 Thanks anyway: gergo

On Mon, 13 Dec 1999, rob wrote:

> Do you mean the Promela program that described the
> scheduler?  I believe that is long gone.
> 
> -rob
> 
>