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

Close

Group 1.0RC1 Maximize Restore

Open
N/A
15 / 16

1.0RC1

Showing 16 results of 16

# Summary Milestone Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
Created Updated
391 some fomulas are truncated 1.0RC1 closed-fixed Kriangsak D. 2010-01-26 2012-04-16  
383 animB : impossible to start animation 1.0RC1 open cmetayer 2010-01-18 2012-12-08  
333 Many 'NLS unused message' warnings logged 1.0RC1 closed-fixed Nicolas Beauger 2009-06-29 2009-06-30  
332 Refines clause on INITIALISATION event ignored 1.0RC1 closed-works-for-me Laurent Voisin 2009-06-29 2009-07-03  
331 Error in POG 1.0RC1 closed-fixed Nicolas Beauger 2009-06-28 2009-06-29  
330 Exception in Provers 1.0RC1 closed-duplicate Laurent Voisin 2009-06-23 2009-06-26  
329 Extending INITIALISATION event doesn't contain 'refines' 1.0RC1 closed-rejected Laurent Voisin 2009-06-23 2009-06-29  
328 IllegalArgumentException when changing 'extends' 1.0RC1 closed-works-for-me Aurélien GILLES 2009-06-23 2009-06-27  
327 Some prefix ignored in auto-completion 1.0RC1 closed-fixed Nicolas Beauger 2009-06-18 2009-06-23  
326 Text Editor doesn't work 1.0RC1 closed-works-for-me Laurent Voisin 2009-06-16 2009-06-17  
324 DB exception when creating new ISeesContext 1.0RC1 closed-fixed Laurent Voisin 2009-06-14 2009-06-15  
323 NPE when opening editor and error occurs 1.0RC1 closed-fixed Laurent Voisin 2009-06-14 2009-06-14  
322 Erroneous paste in ProofControl 1.0RC1 closed-fixed Laurent Voisin 2009-06-12 2009-06-14  
321 Space in auto completion 1.0RC1 closed-fixed Laurent Voisin 2009-06-10 2009-06-17  
320 Exception on partition sent to ML 1.0RC1 closed-fixed Laurent Voisin 2009-06-10 2009-07-03  
319 AssertionError in Indexer 1.0RC1 closed-fixed Nicolas Beauger 2009-06-10 2009-06-12  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)