Changes between Version 84 and Version 85 of WikiStart


Ignore:
Timestamp:
Jul 3, 2014, 12:55:00 PM (4 years ago)
Author:
simon.robillard@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v84 v85  
    4141 * The [http://sketo.ipl-lab.org SkeTo] Library 
    4242 * The [http://traclifo.univ-orleans.fr/SDPP SDPP] Library 
     43 * The [http://traclifo.univ-orleans.fr/PaPDAS/attachment/wiki/WikiStart/SyDRec.tar.gz SyDRec] module for Coq 
    4344 
    4445== Publications ==