User Activity

  • Committed [d41a91]

    Fix bug #769: statistics column width

  • Committed [61ab5e]

    Fix deprecated API usage in PP tests

  • Committed [f6afc1]

    Replace deprecated SubProgressMonitor by SubMonitor

  • Committed [3e0017]

    Fix unnecessary 'throws' declarations in tests

  • Committed [ba5556]

    Remove unnecessary casts

  • Committed [f29347]

    Rodin editor: fix updating of removed attributes

  • Committed [6a84ce]

    Remove dirty enforcement upon AutoProver run

  • Committed [ff0fa0]

    Remove redundant null checks and redundant affectations

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