Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Bugs Maximize Restore

Showing results of 119

# 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
394 unparsing then parsing gives a different expression 3.0 open Laurent Voisin 2010-01-29 2013-04-24  
393 NewPP outputs incorrect set of required Hypotheses unplanned open Laurent Voisin 2010-01-28 2014-02-14  
390 mod operator should be compatible with itself 3.0 open Laurent Voisin 2010-01-26 2013-10-29  
386 newPP unresponsive 3.0 open Laurent Voisin 2010-01-22 2013-04-24  
385 Symbol Table and Properties unplanned open Laurent Voisin 2010-01-22 2013-11-29  
383 animB : impossible to start animation 1.0RC1 open cmetayer 2010-01-18 2012-12-08  
374 Problems parsing complex expressions 1.1 open Ingo Weigelt 2009-11-19 2010-06-01  
371 Error on context named "axioms" None open Ingo Weigelt 2009-11-09 2010-06-01  
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)