User Activity

  • Posted a comment on ticket #349 on RODIN

    Tomas, if you call your relation foo and want to generate "foo: S >+>> T" (partial...

  • Posted a comment on ticket #349 on RODIN

    There is no need to use a compound relation but rather to generate the opposite relation...

  • Committed [4c85a3]

    Publish isMath() method to IAttributeDesc API

  • Committed [b9ff95]

    Fix bug #749 Unecessary text translation ...

  • Posted a comment on ticket #349 on RODIN

    Dear Tomas, please take care that partial bijection is part of classical B (the B...

  • Committed [fc24f2]

    Fix bug #750 NPE in EditorSnapshot

  • Committed [e7c2de]

    Reveals first selected element only if it is no...

  • Committed [34b8ba]

    Fix bug #682 NPE in eventbeditor when closing

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