Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Feature Requests Maximize Restore

Showing results of 164

# Summary Milestone
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Milestone
Status Owner
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
Created Updated
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  
327 Smart focus in wizards unplanned open Nicolas Beauger 2014-05-05 2014-05-05  
326 Simplify PO for anticipated event 3.1 open Laurent Voisin 2014-04-23 2014-06-13  
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  
323 Refine PO for variant WD 3.1 open 2014-04-14 2014-05-19  
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  
314 Lexicographic variant 1.0 open 2013-06-26 2013-06-26  
310 Copy current machine with associated RodinDB change event 2.8 open 2013-05-30 2013-05-30  
308 Support diff / merge for models and proofs unplanned open 2013-05-15 2013-10-16  
307 Getting origin of generated files unplanned open 2013-05-15 2013-10-16  
305 Comments are too close from predicates in the Rodin Editor 3.1 open Thomas Muller 2013-05-15 2013-11-04  
304 Provide PRE change notifications to Rodin Listeners 2.8 open 2013-05-01 2013-05-01  
303 Different cursor depending on current Rodin Editor edition mode 2.8 open Thomas Muller 2013-04-29 2013-04-29  
302 Select multiple element using the keyboard and mouse clicks 2.8 open Thomas Muller 2013-04-29 2013-04-29  
301 Add a graphical marker to drag/select elements in Rodin Editor 2.8 open Thomas Muller 2013-04-19 2013-04-25  
300 Add a refresh command in context menu and button in toolbar 2.8 open Thomas Muller 2013-04-19 2013-04-25  
299 provide evidence of filtered PO's 1.0 open 2013-04-04 2013-04-04  
297 Expression lost if type check fails unplanned open 2013-01-24 2013-10-16  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)
1 2 3 .. 7 > >> (Page 1 of 7)