9fans archive / 1999 / 12 / 9    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: Gerard J. Holzmann gerard@res...
Subject: spin
Date: Mon, 13 Dec 1999 12:05:47 -0500 (EST)

see:
	http:/netlib.bell-labs.com/netlib/spin/whatispin.html
	http://ase.arc.nasa.gov/spin200

-gerard


------ forwarded message follows ------