9fans archive / 1999 / 12 / 16    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: Promela model for sleep/wakeup
Date: Tue, 14 Dec 1999 17:05:45 +0100 (MET)

In article <199912140335.WAA16404@cse...> you wrote:
> Gerard Holzmann found a copy in his archives.

Thank you all for all your help on my questions.

 gergo