From f3b2d7d538f93a97dc8992747b697600a9df869c Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 28 Aug 2008 10:47:30 +0000 Subject: [PATCH] new baseuri for procedural CoRN to follow the discharge name convention adopted in applyTransformation --- helm/software/matita/contribs/CoRN-Procedural/root | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2