Changes between Version 11 and Version 12 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

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