Bugs  Maximize  Restore

Showing results of 117

# 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
674 Deadlock while loading buffer unknown open 2013-05-23 2013-05-23  
663 Indexers are not run independently unplanned open 2013-04-24 2013-10-25  
662 Not refreshing proof interface unplanned open Nicolas Beauger 2013-04-24 2013-10-29  
653 NPE during build 3.1 open Nicolas Beauger 2013-04-16 2013-11-04  
650 Improve error message for wrong use of type 3.0 open Laurent Voisin 2013-04-02 2013-04-02  
649 Invalid root elements in file contents are not detected unplanned open 2013-02-21 2013-10-25  
646 Inconsistent generation of SIM POs 3.0 open Laurent Voisin 2013-01-23 2013-01-23  
645 symbol table doesn't work for property sheets 3.1 open 2013-01-10 2013-11-04  
643 Camille - formatting lost after renaming 2.7 open Ingo Weigelt 2012-12-10 2012-12-10  
641 Change key bindings on Mac 2.8 open Thomas Muller 2012-11-26 2013-04-24  
640 Improve documentation of the auto attribute of proofs 2.7 open Michael Jastram 2012-11-07 2012-12-08  
628 Lost Prove Tree after rebuild workspace None open Issam 2012-07-17 2012-12-08  
626 longs axioms not displayed correctly unknown open 2012-06-24 2013-04-25  
625 Icons are Identical Colour for 7% of Male Users unplanned open Laurent Voisin 2012-06-14 2013-11-29  
624 PM does not check language and type environment unknown open Laurent Voisin 2012-06-11 2013-04-25  
622 Cannot install Brama None open Antoine Requet 2012-06-03 2012-07-20  
619 Theory plug-in generates complicated WD lemmas 2.5 open Issam 2012-05-16 2012-12-08  
618 Proposed name in refine action 3.0 open Laurent Voisin 2012-05-09 2013-04-25  
615 Cannot import a theory in another theory None open Issam 2012-05-04 2012-12-08  
614 Strange tab navigation in instantiation boxes 3.0 open Laurent Voisin 2012-05-04 2013-04-24  
611 Missing red line around first yellow box 3.0 open Laurent Voisin 2012-04-04 2013-04-24  
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  
597 Rodin crashes when adding an extends clause in Camille None open Michael Jastram 2012-01-05 2012-12-08  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)
<< < 1 2 3 4 5 > >> (Page 2 of 5)