SourceForge has been redesigned. Learn more.

User Activity

  • Committed [121de5]

    Bump Event-B UI to 3.3.2

  • Committed [b66653]

    Fix off-by-one in High Sierra workaround

  • Committed [914359]

    Update feature patch project for bug 771

  • Committed [c81a9b]

    Work around macOs High Sierra bug

  • Committed [35c435]

    Bump Event-B UI to 3.3.1

  • Committed [4accf5]

    Create feature patch project for bug 771

  • Posted a comment on ticket #771 on RODIN

    This is an eclipse bug : well beyond what the Rodin maintainers can address. The issue is apparently in low level layer of SWT. Unfortunately, there does not seem to be much interest in fixing it. You can vote for it on the Eclipse site to increase awareness of it by the Eclipse maintainers (I already did it for myself).

  • Committed [d41a91]

    Fix bug #769: statistics column width

View All

Personal Data

2004-05-14 12:43:58


  • Project Logo RODIN   Last Updated:


  • No skills entered.

Personal Tools