X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=74b2037d66c2858e8ee8c6e574000dc07f3b455d;hb=5a51f47aa1068c33d4118265a5bb97123cffa120;hp=4454357a2f5c0b1738993d067911dc7826794aeb;hpb=cc16727f34114cee287e6a81b80f68657c656725;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 4454357a2..74b2037d6 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -18,16 +18,17 @@ of them, we apologize for whom we forgot to mention.
-