Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Search patches: status:closed-rejected or status:closed-accepted or status:wont-fix Maximize Restore

Showing 3 results of 3

# Summary Milestone Status Owner Created Updated
4 Event-B Editor - toolbar for add/move buttons 2.8 closed-accepted Nicolas Beauger 2013-04-15 2013-05-06  
2 API for PO information Rodin_2.0.1 closed-rejected Laurent Voisin 2010-12-13 2011-01-05  
1 Fix of a performance bug in PrettyPrintPage None closed-accepted 2006-12-12 2006-12-13  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)