Changes between Version 2 and Version 3 of WikiStart


Ignore:
Timestamp:
Nov 11, 2009, 9:41:32 PM (9 years ago)
Author:
julien.tesson@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v2 v3  
    11= Welcome to SDPP home Page = 
    22 
    3 SDPP is a framework for Systematic Developement of Parallel Programs. 
     3SDPP is a framework for Systematic Development of Parallel Programs. 
    44 
    55We use [http://coq.inria.fr coq] for automatically derive [http://bsmllib.free.fr bsml] programs.