/plugins/

• ../
• _tags
• cc
• dp
• extraction
• field
• firstorder
• fourier
• funind
• groebner
• interface
• micromega
• omega
• quote
• ring
• romega
• rtauto
• setoid_ring
• subtac
• syntax
• xml