X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmathql%2Fhomepage%2Fimplementation.html;h=286a5dbbc9e87a88969e10c0be9c9196e2872374;hb=1ee87baa9bc6f43ec3034843c54673dc785e3da9;hp=5b41f9d080ef643469c6920f4fb816df34a7580f;hpb=686e22323249fbfdaf21f53b5a11fe73df52f3b9;p=helm.git diff --git a/helm/mathql/homepage/implementation.html b/helm/mathql/homepage/implementation.html index 5b41f9d08..286a5dbbc 100644 --- a/helm/mathql/homepage/implementation.html +++ b/helm/mathql/homepage/implementation.html @@ -110,7 +110,7 @@ near future.
  • F. Guidi and C. Sacerdoti Coen: Querying Distributed Digital Libraries of Mathematics.
  • - + will appear as research report of Laboratoire D'Informatique de Paris 6