Feature Requests Maximize Restore

Showing results of 166

# Summary Milestone
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Milestone
Status Owner
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
Created Updated
349 Partial bijection 3.2 open 2015-06-17 2015-06-18  
348 Better expansion of strict inclusion 3.2 open 2015-04-09 2015-04-09  
347 Predicates separation in Theories 3.1 open 2015-03-26 2015-03-26  
346 Move several elements at once in Rodin Editor unplanned open Nicolas Beauger 2015-03-23 2015-03-23  
345 Ordering components in the event-b explorer 3.2 open 2015-02-23 2015-02-23  
344 Possibility of split a model in several event-b projects 3.2 open 2015-02-23 2015-02-23  
343 Generalized Modus Ponens on natural integers 3.2 open Laurent Voisin 2014-12-17 2014-12-17  
342 Generalized Modus Ponens on Boolean expressions 3.1 open 2014-11-25 2014-12-17  
341 Provide a parameterized tactic for Theory rules unplanned open Asieh Salehi 2014-10-26 2014-10-26  
340 Rename tactics provided by the Theory plug-in unplanned open Asieh Salehi 2014-10-26 2014-10-26  
339 Add auto tactic for not empty set 3.2 open 2014-10-26 2014-10-26  
338 Homegenize auto and manual tactic names 3.2 open 2014-10-26 2014-10-26  
334 Add "Exists Hypotheses" in default auto tactic 3.2 open 2014-09-25 2014-09-25  
333 View for editing comments of proof tree nodes 3.2 open 2014-09-25 2014-09-25  
332 Manual tactic for SIMP_IN_COMPSET 3.2 open 2014-09-25 2014-09-25  
331 Optimize Formula Factory storage in proof files 3.1 open Nicolas Beauger 2014-06-30 2014-06-30  
330 Warning if implication is used in existential quantified predicate unplanned open 2014-06-16 2014-06-16  
329 Allow induction on naturals and integers 3.1 open Nicolas Beauger 2014-06-13 2014-06-23  
325 AnimB crashes on lambda expression unplanned open cmetayer 2014-04-23 2014-04-23  
324 Put two spaces between attributes in Rodin editor 3.1 open Thomas Muller 2014-04-23 2014-04-23  
322 Translate mathematical extensions 3.1 open Thomas Muller 2014-04-08 2014-04-23  
321 Add display toggle capability for inherited elements 3.1 open Thomas Muller 2014-02-12 2014-02-17  
320 Cleaning obsolete items from Rodin database 3.1 open 2014-02-11 2014-02-11  
319 Easy renaming with org.rodinp.core.IElementManipulation.move() unplanned open Laurent Voisin 2013-10-21 2013-10-21  
316 Support occurrence highlight in Rodin Editor 3.1 open Nicolas Beauger 2013-08-12 2013-11-04  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)
1 2 3 .. 7 > >> (Page 1 of 7)