Group 2.2  Maximize  Restore

Open
N/A
4 / 5

2.2

Showing 5 results of 5

# Summary Milestone Status Owner Created Updated
570 Unable to export profiles when post /auto tactics selected 2.2 closed Carine Pascal 2011-07-25 2011-07-25  
569 Can't type < in quantifier box 2.2 closed-fixed Thomas Muller 2011-07-21 2011-07-31  
568 Cannot save proof with ae 2.2 closed-fixed Carine Pascal 2011-07-18 2011-07-27  
566 Theorems in event guards not supported 2.2 open Michael Jastram 2011-07-05 2012-12-08  
563 Could not create the view: An unexpected exception was throw 2.2 closed-fixed Issam 2011-06-15 2011-07-03  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)

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

Sign up for the SourceForge newsletter:





No, thanks