X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita_homepage%2Fdevelopers.html;h=085c73ab5f48f0d53460a18febf632acdb9f33eb;hb=99b249b23524cda2d91602ee088fef1a7be253ee;hp=e962a0e5af08d05839701a191c9738b3bc40a80d;hpb=ad67dbbe203cbb42e6d893bd268ebaf01bd2dd14;p=helm.git diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index e962a0e5a..085c73ab5 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -3,15 +3,18 @@ Matita home page - developers