]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/sites/trusted-logic.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / sites / trusted-logic.xml
index c174450ce219894c45253fc0e1b2179c778042d4..ed5a5d8bdc4fa3c159e6c297648aaefc80457697 100644 (file)
@@ -6,7 +6,11 @@
  <name>Trusted Logic</name>
  <country>France</country>
  <url>http://www.trusted-logic.fr</url>
- <address>???</address>
+ <address>
+   5 rue du Bailliage,
+   78000 Versailles,
+   FRANCE
+ </address>
  <responsible file="trusted-logic/bolignano"/>
  <description>
   <p>Created in January 1999, TRUSTED LOGIC S.A. is a french start-up company,
@@ -27,4 +31,5 @@
      Schlumberger,  ST Microelectronics, VISA International, Carte Bleue, GIE
      Cartes Bancaires, ActivCard, Proton World International, etc.</p>
  </description>
+ <member file="trusted-logic/bolignano"/> 
 </site>