Changes between Version 34 and Version 35 of WikiStart


Ignore:
Timestamp:
Oct 4, 2011, 12:16:00 PM (7 years ago)
Author:
julien.tesson@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v34 v35  
    2121== Software == 
    2222 
     23 * Library "Systematic Development of Parallel Programs" and "Certified BSML" [http://tesson.julien.free.fr/research/project/bsml_0.5-CertifiedBSML-ProgramCalculation-SDPP.tar.gz version 0.2] 
    2324 * Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 version 0.1] 
    2425 * Library "Program Calculation in Coq": [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.1.tar.bz2 version 0.1], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.15.tar.bz2 version 0.15], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.16.tar.bz2 version 0.16] (for Coq 8.3)