Group 2.4  Maximize  Restore

Open
N/A
4 / 7

2.4

Showing 7 results of 7

# Summary Milestone Status Owner Created Updated
610 Unsound translation of card in ppTrans 2.4 closed-fixed Laurent Voisin 2012-02-29 2012-03-29  
609 Bigger Font badly supported in proof tree 2.4 closed-fixed Nicolas Beauger 2012-02-24 2012-03-12  
608 NPE in pp trans 2.4 closed-fixed Laurent Voisin 2012-02-21 2012-02-23  
607 Duplicate PO for action WD 2.4 closed-fixed Laurent Voisin 2012-02-17 2012-07-20  
605 Camille unable to open a context 2.4 open Ingo Weigelt 2012-02-04 2012-02-05  
604 inadmissible datatypes 2.4 open Issam 2012-02-02 2012-02-02  
603 Incorrect fix to 3106728 2.4 open Issam 2012-02-02 2012-02-02  
  • 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