User Activity

  • Committed [2df894]

    Create level 3 of genMP

  • Committed [fe908c]

    Fix #765: Generalized Modus Ponens turns goal i...

  • Committed [277905]

    Rework the genMP tests

  • Committed [e321f5]

    Improve the genMP tests

  • Committed [058bf6]

    Revisit fix of bug #764

  • Committed [r16686]

    AtelierB: Update parent POM for Rodin 3.3

  • Committed [r16685]

    AtelierB: Remove hard-coded plug-in versions

  • Committed [r16684]

    AtelierB: Change test plug-in version to 1.5.0

View All

Personal Data

Username:
lvoisin
Joined:
2004-05-14 12:43:58

Projects

  • Project Logo RODIN   Last Updated:

Skills

  • No skills entered.

Personal Tools

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks