Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

User Activity

  • Committed [r16590]

    Move the Qualitative Probability plug-in to its...

  • Committed [r16589]

    Move the Pattern plug-in to its own Git repository

  • Modified ticket #739 on RODIN

    Opening a proved proof - prune the proof

  • Posted a comment on ticket #739 on RODIN

    Dear Luis, your scenario denotes really a bug. Could you please attach a Rodin project...

  • Committed [4288d0]

    Revert back to r15429 (undo commit 15430 on wro...

  • Modified ticket #739 on RODIN

    Opening a proved proof - prune the proof

  • Posted a comment on ticket #739 on RODIN

    Dear Luiz, thank you very much for having taken the time to report this problem....

  • Modified ticket #740 on RODIN

    Event Wizard Add Button Fields Disappear

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