Changes between Version 19 and Version 20 of WikiStart


Ignore:
Timestamp:
May 5, 2010, 5:06:07 PM (8 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v19 v20  
    1010== Team == 
    1111 
    12  * Hideki Hashimoto, [http://www.ipl.t.u-tokyo.ac.jp IPL, The University of Tokyo] 
    1312 * Zhenjiang Hu, [http://www.nii.ac.jp National Institute of Informatics] and [http://www.ipl.t.u-tokyo.ac.jp IPL, The University of Tokyo] 
    14  * Louis Gesbert, [http://lacl.univ-paris12.fr LACL], [http://www.univ-paris12.fr Université Paris Est Créteil] and [http://www.mlstate.com MLstate] 
    1513 * Frédéric Loulergue, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] 
     14 * Julien Tesson, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] 
     15 * Sylvain Dailler, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] 
    1616 * Kimironi Matsuzaki, [http://www.kochi-tech.ac.jp/gs_e/index.html Kochi University of Technology] 
    1717 * Masato Takeichi, [http://www.ipl.t.u-tokyo.ac.jp/members.html IPL, The University of Tokyo] 
    18  * Julien Tesson, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] 
    1918 
     19Past members: Louis Gesbert, Hideki Hashimoto 
    2020 
    2121== Software == 
    2222 
    2323 * [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.15.tar.bz2 Library "Program Calculation in Coq" version 0.15] 
    24  * Program Calculation in Coq version 0.1 
     24 * [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.1.tar.bz2 Library "Program Calculation in Coq" version 0.1] 
    2525 
    2626== Publications ==