Bugs Maximize Restore

Showing results of 111

# Summary Milestone
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Milestone
Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
Created Updated
361 Error while entering symbol from symbol table 3.1 open-later Nicolas Beauger 2009-10-20 2013-11-04  
357 Changing the font in the pretty print view unplanned open Laurent Voisin 2009-09-29 2014-02-14  
351 Turnstile unicode character unplanned open Laurent Voisin 2009-08-26 2014-02-14  
339 Change to Rodin Elements not reflected in editor unplanned open Laurent Voisin 2009-07-20 2013-11-29  
335 No paste in root contextual menu of explorer 3.0 open Laurent Voisin 2009-07-06 2013-04-24  
310 BraveSansMono 3.1 open Nicolas Beauger 2009-04-27 2013-11-04  
260 brama - unexpected error V0.8.2 open Thierry Lecomte 2009-02-12 2009-02-16  
233 anormal,error message on animation V0.8.2 open Thierry Lecomte 2008-11-06 2008-11-19  
198 newPP is too sensitive to unused hyps unplanned open Laurent Voisin 2008-04-23 2015-01-17  
153 B4free prover translation for <<-> fails unplanned open Laurent Voisin 2007-11-01 2014-02-14  
7 Tool conflicts caused by identically named files unplanned open Stefan Hallerstede 2006-03-02 2014-02-14  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)
<< < 1 .. 3 4 5 (Page 5 of 5)