Changes between Version 25 and Version 26 of WikiStart


Ignore:
Timestamp:
Jul 23, 2010, 5:57:03 PM (8 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v25 v26  
    2121== Software == 
    2222 
    23  * [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 Library "Systematic Development of Parallel Programs" version 0.1] 
     23 * [[Image(new1.gif, height=20)]] [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 Library "Systematic Development of Parallel Programs" version 0.1] 
    2424 * [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.15.tar.bz2 Library "Program Calculation in Coq" version 0.15] 
    2525 * [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.1.tar.bz2 Library "Program Calculation in Coq" version 0.1]