]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 71cc47c)
new baseuri for procedural CoRN
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Aug 2008 10:47:30 +0000 (10:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Aug 2008 10:47:30 +0000 (10:47 +0000)
to follow the discharge name convention adopted in applyTransformation

helm/software/matita/contribs/CoRN-Procedural/root patch | blob | history

diff --git a/helm/software/matita/contribs/CoRN-Procedural/root b/helm/software/matita/contribs/CoRN-Procedural/root
index 2eb0f23fc3d1c3bed44d2c8165c6f8e738e73d90..8f36583346889feb3135d350e61b1887b1cf878b 100644 (file)
--- 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
Unnamed repository; edit this file 'description' to name the repository.