Concrete spaces do form a category, after all :-)

[helm.git] / helm / software / matita / contribs / procedural / Coq / Coq.conf.xml

diff --git a/helm/software/matita/contribs/procedural/Coq/Coq.conf.xml b/helm/software/matita/contribs/procedural/Coq/Coq.conf.xml
index 8ef23325e5190ec048ff7f9b5fb4792a35e520c3..3d5308d80fd811577dcb09aa3403151e6df04721 100644 (file)
--- a/helm/software/matita/contribs/procedural/Coq/Coq.conf.xml
+++ b/helm/software/matita/contribs/procedural/Coq/Coq.conf.xml
@@ -5,7 +5,7 @@
     <key name="output_name">Coq</key>
     <key name="input_base_uri">cic:/Coq</key>
     <key name="output_base_uri">cic:/matita/procedural/Coq</key>
-    <key name="input_path">/projects/helm/exportation/V8.0_mowgli_bugfix_branch/theories</key>
+    <key name="input_path">/home/fguidi/coq_ufficial_theories/8.0pl2</key>
     <key name="output_path">contribs/procedural/Coq</key>
     <key name="input_type">.v</key>
     <key name="output_type">procedural</key>