Bugs  Maximize  Restore

Showing results of 113

# 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
589 The working area doesn't automatically scroll 3.0 open Laurent Voisin 2011-10-29 2013-04-24  
588 Contents in Symbol palette becomes invisible when scrolling 3.0 pending Laurent Voisin 2011-10-28 2013-04-24  
585 Doc: Maplet vs. Ordered pair None open 2011-10-12 2011-10-12  
584 Hypothesis cache updated too often 3.0 open Laurent Voisin 2011-10-06 2013-04-24  
576 Vanishing proof work 2.2.2 open Alex Iliasov 2011-08-03 2012-12-08  
575 Statistics view counts POs only from contexts and machines 3.0 open Laurent Voisin 2011-08-02 2013-04-24  
573 Prover UI editor improperly registered unplanned open Thomas Muller 2011-07-31 2013-10-25  
572 POs do not appear under model nodes in explorer 3.0 open Laurent Voisin 2011-07-29 2013-04-24  
567 I can't type "<=v"! 3.1 open Laurent Voisin 2011-07-05 2014-02-17  
566 Theorems in event guards not supported 2.2 open Michael Jastram 2011-07-05 2012-12-08  
565 Silent java.lang.Exception when expanding a project 3.0 open Laurent Voisin 2011-06-23 2013-04-24  
562 Camille NullPointer None open Ingo Weigelt 2011-06-09 2011-06-09  
555 scrolling too slow in Search Hypothesis view unplanned open Thomas Muller 2011-04-05 2013-10-25  
548 No AtelierB tactics if user profiles before installation 3.0 open Laurent Voisin 2011-03-16 2013-07-26  
544 newPP unable to reason with finite definition 3.0 open Laurent Voisin 2011-01-27 2013-04-24  
539 Unacceptable handling of unsupported expressions 2.0.1 open Alex Iliasov 2011-01-10 2012-12-08  
538 inconsistencies in importing of events 2.0.1 open Alex Iliasov 2011-01-05 2012-12-08  
528 the parser accepts a+-1 3.0 open Laurent Voisin 2010-12-03 2013-04-24  
527 newPP can't do modus ponens unplanned open Laurent Voisin 2010-11-29 2014-02-14  
523 Proof status after theory change 2.0.1 open Issam 2010-11-19 2011-07-03  
519 Rule based prover does not properly match set extensions 2.0 open-postponed Issam 2010-11-10 2011-07-03  
517 Theory plugin inherits unsoundness bug from rbp 2.0 open Issam 2010-11-10 2010-11-10  
501 Tacticals are not cancelable 3.0 open Laurent Voisin 2010-10-13 2013-04-24  
499 camille editor refuses to save 1.3 open Michael Jastram 2010-10-13 2015-01-19  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)
<< < 1 2 3 4 5 > >> (Page 3 of 5)

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

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks