- renamed ocaml/ to components/

[helm.git] / helm / matita / dictionary-matita.xml

diff --git a/helm/matita/dictionary-matita.xml b/helm/matita/dictionary-matita.xml
deleted file mode 100644 (file)
index 3590348..0000000
--- a/helm/matita/dictionary-matita.xml
+++ /dev/null
@@ -1,15 +0,0 @@
-<?xml version="1.0"?>
-<dictionary>
- <operator name="(" form="prefix" fence="true" stretchy="false" lspace="0em" rspace="0em"/>
- <operator name="(" form="infix" fence="true" stretchy="false" lspace="0em" rspace="0em"/>
- <operator name=")" form="postfix" fence="true" stretchy="false" lspace="0em" rspace="0em"/>
- <operator name=")" form="infix" fence="true" stretchy="false" lspace="0em" rspace="0em"/>
- <operator name="[" form="prefix" fence="true" stretchy="false" lspace="0em" rspace="0em"/>
- <operator name="[" form="infix" fence="true" stretchy="false" lspace="0em" rspace="0em"/>
- <operator name="]" form="postfix" fence="true" stretchy="false" lspace="0em" rspace="0em"/>
- <operator name="]" form="infix" fence="true" stretchy="false" lspace="0em" rspace="0em"/>
- <operator name="{" form="prefix" fence="true" stretchy="false" lspace="0em" rspace="0em"/>
- <operator name="{" form="infix" fence="true" stretchy="false" lspace="0em" rspace="0em"/>
- <operator name="}" form="postfix" fence="true" stretchy="false" lspace="0em" rspace="0em"/>
- <operator name="}" form="infix" fence="true" stretchy="false" lspace="0em" rspace="0em"/>
-</dictionary>