Group 2.7 Maximize Restore

Open
N/A
3 / 8

2.7

Showing 8 results of 8

# Summary Milestone Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
Created Updated
681 GI (soton) - No class def found exception 2.7 open Asieh Salehi 2013-06-19 2013-06-19  
676 UML-B - NPE while editing diagram 2.7 open Colin Snook 2013-05-28 2013-05-28  
675 UML-B - order of features cannot be changed 2.7 open Colin Snook 2013-05-27 2013-05-28  
652 Multiple exceptions in EventB Explorer when updating with Teamwork 2.7 closed-duplicate Laurent Voisin 2013-04-04 2015-02-27  
648 proving does not work with Ubuntu 64bit 2.7 closed-works-for-me 2013-02-16 2014-08-27  
643 Camille - formatting lost after renaming 2.7 open Ingo Weigelt 2012-12-10 2012-12-10  
640 Improve documentation of the auto attribute of proofs 2.7 open Michael Jastram 2012-11-07 2012-12-08  
635 Inconsistent result of formula type-checking 2.7 closed-fixed Laurent Voisin 2012-10-04 2013-01-31  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)