X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Fdistribution.xml;h=2f81e8db63bb260f6c90be74404784ee66cfd418;hb=1957a1f151c547f04625c4379e51ab66bddb69c7;hp=184856c3fb3030d6fc00e156ad489f1b48bc6f0a;hpb=2f3cd07536c7abacd73d144c9f033503457522d5;p=helm.git
diff --git a/helm/mowgli/home/xml/work-packages/distribution.xml b/helm/mowgli/home/xml/work-packages/distribution.xml
index 184856c3f..2f81e8db6 100644
--- a/helm/mowgli/home/xml/work-packages/distribution.xml
+++ b/helm/mowgli/home/xml/work-packages/distribution.xml
@@ -6,6 +6,7 @@
The big issue it to find the right compromise between two opposite - requirements: distribution (in the sense of the - Web: few rules, no central authority) and coherence + requirements: distribution (in the sense of the + Web: few rules, no central authority) and coherence (coherence between different copies of a same document and global management of the library as a single rational development). Other architectural problems to be solved are the management of Uniform Resource Identifiers, their mapping to Uniform Resource Locators, and the integration of databases in the distribution model. The final aim is - to have a phisically distributed library with a - single logical view.
+ to have a phisically distributed library with a + single logical view.