User Activity

  • Committed [4e008e]

    Implemented a TheoryExtensionProvider backup in...

  • Created ticket #754 on RODIN

    Dropins folder is no longer available by default

  • Modified ticket #753 on RODIN

    Section color preferences are not taken into account

  • Created ticket #753 on RODIN

    Section color preferences are not taken into account

  • Committed [1b4070]

    Update Rodin Editor version for Rodin 3.2 release

  • Committed [dec65a]

    Update IDE feature version to 3.2.0

  • Committed [ce6451]

    Update output directory name to 3.2

  • Committed [ecacdc]

    Update versions and copyright dates for Rodin 3...

View All

Personal Data

Username:
thomasmuller
Joined:
2009-10-19 16:28:34

Projects

  • Project Logo RODIN   Last Updated:

Skills

  • No skills entered.

Personal Tools

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks