summaryrefslogtreecommitdiff
path: root/plugins/micromega/vo.itarget
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/micromega/vo.itarget')
-rw-r--r--plugins/micromega/vo.itarget13
1 files changed, 13 insertions, 0 deletions
diff --git a/plugins/micromega/vo.itarget b/plugins/micromega/vo.itarget
new file mode 100644
index 00000000..30201308
--- /dev/null
+++ b/plugins/micromega/vo.itarget
@@ -0,0 +1,13 @@
+CheckerMaker.vo
+EnvRing.vo
+Env.vo
+OrderedRing.vo
+Psatz.vo
+QMicromega.vo
+Refl.vo
+RingMicromega.vo
+RMicromega.vo
+Tauto.vo
+VarMap.vo
+ZCoeff.vo
+ZMicromega.vo