X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Fimplementation.html;h=286a5dbbc9e87a88969e10c0be9c9196e2872374;hb=845d9a392bb01f23210b3370bacb2618890b845b;hp=5b41f9d080ef643469c6920f4fb816df34a7580f;hpb=851b86c88a136e04c6042b86687096eb9c7f3175;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