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=f4cdb230732217216e0386060250c4200fc53e67;hpb=4c0736b3d362197b2548ac6d81ce6d4e9a19b37b;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index f4cdb2307..74b2037d6 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -18,7 +18,8 @@ of them, we apologize for whom we forgot to mention.
-