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

Close

User Activity

  • 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,...

  • Modified ticket #739 on RODIN

    Opening a proved proof - prune the proof

  • Modified ticket #736 on RODIN

    Constant correct, but still see red underline.

  • Posted a comment on ticket #736 on RODIN

    No answer to my question, so no way to analyse this bug.

  • Committed [r16609]

    Fix issue with combo boxes in TheoryPath editor

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