9fans archive / 1999 / 12 / 14    prev next


    search terms are split using tokenize    
    from:regexp searches From: lines    
    subject:regexp searches Subject: lines    
    before:yyyy[/mm[/dd]] and after:yyyy[/mm[/dd]] specify date range    

    powered by grep(1)    
From: FODEMESI Gergely fgergo@eik...
Subject: 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
> 
>