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


User Activity

  • Committed [13a06b]

    Fix bug #737 Symbol buttons enhancement

  • Committed [3887e8]

    Allow selecting Rodin elements in Editor

  • Committed [9fe0cf]

    Show the selection in the Editor

  • Committed [7d35cd]

    Element selection in Editor

  • Committed [r16619]

    Refactor tactic applications

  • Posted a comment on ticket #743 on RODIN

    Without a way to reproduce this bug, we cannot fix it.

  • Modified ticket #743 on RODIN

    Error while running tool (Automatic Proof Obligation Manager)

  • Posted a comment on ticket #739 on RODIN

    This is indeed a bug, but without additional input, we have no way to reproduce it,...

View All

Personal Data

2004-05-14 12:43:58


  • Project Logo RODIN   Last Updated:


  • No skills entered.

Personal Tools