/plugins/

• ../
• btauto
• cc
• decl_mode
• derive
• extraction
• firstorder
• fourier
• funind
• micromega
• nsatz
• omega
• plugins.itarget
• pluginsbyte.itarget
• pluginsdyn.itarget
• pluginsopt.itarget
• pluginsvo.itarget
• quote
• romega
• rtauto
• setoid_ring
• syntax
• xml