Changes between Version 10 and Version 11 of WikiStart


Ignore:
Timestamp:
Apr 11, 2011, 6:04:28 PM (7 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v10 v11  
    7979== Software == 
    8080 
     81 * OSLProgrammingModel: [http://frederic.loulergue.eu/ftp/OSLProgrammingModel.tar.bz2 v0.1] (requires the [http://coq.inria.fr Coq] proof assistant). 
    8182 * OSL v0.1 (coming soon)