Changes between Version 18 and Version 19 of WikiStart


Ignore:
Timestamp:
May 17, 2011, 8:10:41 AM (7 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v18 v19  
    7373== Software == 
    7474 
    75  * OSLSemantics: [http://frederic.loulergue.eu/ftp/OSLSemantics-0.1.tar.bz2 v0.1] (requires the [http://coq.inria.fr Coq] proof assistant). 
    76  * OSL: v0.1 (coming soon) 
     75 * 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]. 
     76 * OSL: v0.2 (coming soon) 
    7777 
    7878== Publications ==