Group 2.1.1 Maximize Restore

Open
N/A
7 / 7

2.1.1

Showing 7 results of 7

# Summary Milestone Status Owner Created Updated
560 Complicated WD hypothesis popping up 2.1.1 closed-fixed Laurent Voisin 2011-05-17 2011-05-22  
558 Marker for unrefined event invisible 2.1.1 closed-fixed Carine Pascal 2011-05-13 2011-05-13  
557 conversion to 2.1.1 causes out of memory error 2.1.1 closed-works-for-me Carine Pascal 2011-05-10 2011-05-17  
556 Navigation in yellow boxes 2.1.1 closed-duplicate Thomas Muller 2011-04-05 2012-07-19  
553 dependencies 2.1.1 closed-fixed Carine Pascal 2011-03-29 2011-03-29  
551 Font is not updated in proof skeleton view 2.1.1 closed-fixed Nicolas Beauger 2011-03-25 2011-03-25  
403 Unable to parse || 2.1.1 closed-fixed Michael Jastram 2010-02-16 2011-05-18