User Activity

  • Modified ticket #779 on RODIN

    No information when failing to launch external provers

  • Created ticket #779 on RODIN

    No information when failing to launch external provers

  • Created ticket #773 on RODIN

    Update VM arguments

  • Modified ticket #772 on RODIN

    crash of Rodin V3.4 when opening workspace

  • Modified ticket #770 on RODIN

    AtelierB plug-in 2.2.0 broken

  • Posted a comment on ticket #770 on RODIN

    AtelierB 2.2.1 has been released on the update site.

  • Modified ticket #771 on RODIN

    Proof view: unreadable formulas (white on white)

  • Posted a comment on ticket #771 on RODIN

    Fixed in Rodin 3.4 by switching to Eclipse Oxygen 4.7.2 which contains the SWT bug fix.

View All

Personal Data

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

Projects

This is a list of open source software projects that Nicolas Beauger is associated with:

Personal Tools