User Activity

  • Posted a comment on ticket #323 on RODIN

    To be implemented at the same time as [feature-requests:#326]

  • Created ticket #326 on RODIN

    Simplify PO for anticipated event

  • Posted a comment on ticket #27 on RODIN

    Dear David, Le 19 avr. 2014 à 23:23, david streader davidistreader@users.sf.net a...

  • Posted a comment on ticket #27 on RODIN

    Dear David, Le 19 avr. 2014 à 23:23, david streader davidistreader@users.sf.net a...

  • Created ticket #325 on RODIN

    AnimB crashes on lambda expression

  • Created ticket #324 on RODIN

    Put two spaces between attributes in Rodin editor

  • Modified ticket #295 on RODIN

    Support of datatype in external provers

  • Modified ticket #317 on RODIN

    Add preference for SMT timeout

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