Changes between Version 30 and Version 31 of WikiStart


Ignore:
Timestamp:
Jan 8, 2013, 9:49:49 AM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v30 v31  
    7676 
    7777 * OSLSemantics (requires the [http://coq.inria.fr Coq] proof assistant): [http://frederic.loulergue.eu/ftp/OSLSemantics-0.2.tar.bz2 v0.2] (with heat diffusion simulation), [http://frederic.loulergue.eu/ftp/OSLSemantics-0.1.tar.bz2 v0.1]. 
    78  * OSL: v1.0 (coming by the end of 2012) 
     78 * OSL: v1.0 (coming in January 2013) 
    7979 
    8080== Publications ==