From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 28 Aug 2008 10:47:30 +0000 (+0000)
Subject: new baseuri for procedural CoRN
X-Git-Tag: make_still_working~4832
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f3b2d7d538f93a97dc8992747b697600a9df869c;p=helm.git

new baseuri for procedural CoRN
to follow the discharge name convention adopted in applyTransformation
---

diff --git a/helm/software/matita/contribs/CoRN-Procedural/root b/helm/software/matita/contribs/CoRN-Procedural/root
index 2eb0f23fc..8f3658334 100644
--- a/helm/software/matita/contribs/CoRN-Procedural/root
+++ b/helm/software/matita/contribs/CoRN-Procedural/root
@@ -1,2 +1,2 @@
-baseuri=cic:/matita/CoRN-Procedural
+baseuri=cic:/matita/procedural/CoRN
 include_paths=../../legacy