User Activity

  • Created ticket #725 on RODIN

    Rodin Editor does not reflect appearance preferences

  • Posted a comment on ticket #724 on RODIN

    It does not happen if the editor is closed using the 'X' button. Nor if we are closing...

  • Created ticket #724 on RODIN

    Can't 'Copy' models from Event-B Explorer after closing editor

  • Created ticket #720 on RODIN

    No warning when quantifying an event parameter

  • Created ticket #331 on RODIN

    Optimize Formula Factory storage in proof files

  • Modified ticket #198 on RODIN

    Copy/Paste in Event-B component context menu

  • Modified ticket #328 on RODIN

    Allow rewriting based on equivalence

  • Modified ticket #328 on RODIN

    Allow rewriting based on equivalence

View All

Personal Data

Username:
nicolas_beauger
Joined:
2008-05-30 09:03:30

Projects

Skills

  • No skills entered.

Personal Tools