X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmowgli%2Fhome%2Fxml%2Fsites%2Ftrusted-logic.xml;h=ed5a5d8bdc4fa3c159e6c297648aaefc80457697;hb=741b3e9014f940fbbd34bee7b606ff7e72170452;hp=ac042960cd311e54a728777f1bae15032c0b6241;hpb=8fed5617e959378f9c6a4939b0a13ac5ebde4cfe;p=helm.git
diff --git a/helm/mowgli/home/xml/sites/trusted-logic.xml b/helm/mowgli/home/xml/sites/trusted-logic.xml
index ac042960c..ed5a5d8bd 100644
--- a/helm/mowgli/home/xml/sites/trusted-logic.xml
+++ b/helm/mowgli/home/xml/sites/trusted-logic.xml
@@ -6,7 +6,11 @@
Created in January 1999, TRUSTED LOGIC S.A. is a french start-up company,