From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Mon, 13 Dec 1999 19:41:19 +0100
From: FODEMESI Gergely fgergo@eik.bme.hu
Subject: [9fans] spin2000, correction
Topicbox-Message-UUID: 9c55faec-eac8-11e9-9e20-41e7f4b1d025
Message-ID: <19991213184119._bU22WuEH4gxpMSIIDLRcJJTMrvL7z-5OB9sOtRb_E4@z>


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
>
>