Changes between Version 20 and Version 21 of WikiStart


Ignore:
Timestamp:
15 Feb 2014, 21:56:38 (6 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v20 v21  
    6262  !CertiCrypt proofs. This mechanism is currently disabled. For
    6363  additional information, visit the
    64   [http://certicrypt.gforge.inria.fr/ CertiCrypt
    65   website]. !CertiCrypt was developed actively from 2006 until
     64  [http://certicrypt.gforge.inria.fr/ CertiCrypt website].
     65  !CertiCrypt was developed actively from 2006 until
    6666  2011. Its latest stable version can be obtained from us upon
    6767  request.
     
    7878== People ==
    7979- [http://software.imdea.org/~gbarthe/ Gilles Barthe] (IMDEA Software Institute)
    80 - [http://software.imdea.org/~jmcrespo/ Juan Manuel Crespo], (IMDEA Software Institute)
     80- [http://software.imdea.org/~jmcrespo/ Juan Manuel Crespo] (IMDEA Software Institute)
    8181- [http://fdupress.net François Dupressoir] (IMDEA Software Institute)
    8282- [http://www-sop.inria.fr/everest/Benjamin.Gregoire/ Benjamin Grégoire] (INRIA Sophia-Antipolis Méditerranée)