User Activity

  • Committed [284b99]

    Merge branch 'master' of ssh://git.code.sf.net/...

  • Committed [0cd136]

    début de patches pour que ça compile chez moi

  • Committed [e64b12]

    updated .mailmap

  • Committed [cce056]

    Heritage de coquille. http://graal.ens-lyon.fr/...

  • Committed [1ed0a8]

    deplacement d'admits dans Rintegral, version en...

  • Committed [7038a3]

    Ajout de l'ancien Makefile (sans licence) pour ...

  • Committed [e37d7a]

    Makefile creating 'doc' directory if it doesn't...

  • Committed [ffdbcb]

    Previous proof moved from CFsequence_facts to R...

View All

Personal Data

Username:
jmadiot
Joined:
2010-01-14 15:38:45

Projects

This is a list of open source software projects that Jean-Marie Madiot is associated with:

  • Project Logo Coqtail   Last Updated:

Personal Tools

MongoDB Logo MongoDB