Custom Query (9 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Priority Milestone
#789 surf vs surf-alggeo new hannes bug minor 4-2-0 and higher
#793 resolve + intersectionDiv fails new anne bug minor 4-2-0 and higher
#794 configure script is unable to locate NTL new hannes bug minor 4-1-0 and higher
#799 minres() does not minimize first module new decker bug minor 4-2-0 and higher
#800 bug in resolve new pfister bug minor 4-2-0 and higher
#804 bug in collectDiv new somebody bug minor 4-2-0 and higher
#805 Reloading a library with a dependency of user-defined types new somebody bug minor 4-2-0 and higher
#807 Missing (?) final std (redSB) in primdec new somebody proposed feature minor 4-2-0 and higher
#808 Highlighting in prot's output the degree of the currently leading terms new somebody proposed feature minor 4-2-0 and higher
Note: See TracQuery for help on using queries.