X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2Flegacy_1.conf.xml;h=5dc489ea4c26937e519b0bfd26f9a8721571d3a7;hb=05b047be6817f430c8c72fd9b0902df8bb9f579e;hp=e215669f8284e3bf8cbfe5c7ab111f09b41804eb;hpb=e06774421eb3b8f4438a6876cc1ab4262ef16f6e;p=helm.git

diff --git a/matita/components/binaries/matex/test/legacy_1.conf.xml b/matita/components/binaries/matex/test/legacy_1.conf.xml
index e215669f8..5dc489ea4 100644
--- a/matita/components/binaries/matex/test/legacy_1.conf.xml
+++ b/matita/components/binaries/matex/test/legacy_1.conf.xml
@@ -1,18 +1,21 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
+  <section name="devel">
+    <key name="legacy1">matita.lambdadelta.legacy_1</key>
+  </section>
   <section name="matex.notation">
-    <key name="const">matita.lambdadelta.legacy_1.coq.defs.ex.ex.type LExAA 2</key>
-    <key name="const">matita.lambdadelta.legacy_1.coq.defs.ex2.ex2.type LExBA 3</key>
-    <key name="const">matita.lambdadelta.legacy_1.coq.defs.land.land.type LAndB 2</key>
-    <key name="const">matita.lambdadelta.legacy_1.coq.defs.or.or.type LOrB 2</key>
+    <key name="const">$(devel.legacy1).coq.defs.ex.ex.type LEx 2 1</key>
+    <key name="const">$(devel.legacy1).coq.defs.ex2.ex2.type LEx 3 1</key>
+    <key name="const">$(devel.legacy1).coq.defs.land.land.type LAnd 2 0</key>
+    <key name="const">$(devel.legacy1).coq.defs.or.or.type LOr 2 0</key>
 
-    <key name="const">matita.lambdadelta.legacy_1.coq.defs.eq.eq.type EQ 3</key>
-    <key name="const">matita.lambdadelta.legacy_1.coq.defs.le.le.type LE 2</key>
-    <key name="const">matita.lambdadelta.legacy_1.coq.defs.lt.type LT 2</key>
-    <key name="const">matita.lambdadelta.legacy_1.coq.defs.minus.minus.type Minus 2</key>
-    <key name="const">matita.lambdadelta.legacy_1.coq.defs.nat.S.type Succ 1</key>
-    <key name="const">matita.lambdadelta.legacy_1.coq.defs.not.type LNot 1</key>
-    <key name="const">matita.lambdadelta.legacy_1.coq.defs.plus.plus.type Plus 2</key>
-    <key name="const">matita.lambdadelta.legacy_1.coq.defs.pred.type Pred 1</key>
+    <key name="const">$(devel.legacy1).coq.defs.eq.eq.type EQ 3 0</key>
+    <key name="const">$(devel.legacy1).coq.defs.le.le.type LE 2 0</key>
+    <key name="const">$(devel.legacy1).coq.defs.lt.type LT 2 0</key>
+    <key name="const">$(devel.legacy1).coq.defs.minus.minus.type Minus 2 0</key>
+    <key name="const">$(devel.legacy1).coq.defs.nat.S.type Succ 1 0</key>
+    <key name="const">$(devel.legacy1).coq.defs.not.type LNot 1 0</key>
+    <key name="const">$(devel.legacy1).coq.defs.plus.plus.type Plus 2 0</key>
+    <key name="const">$(devel.legacy1).coq.defs.pred.type Pred 1 0</key>
   </section>
 </helm_registry>