X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=f4cdb230732217216e0386060250c4200fc53e67;hb=6e665f8c877f5c921bd3f53cd5384d9511895b5f;hp=ebf279462bdb35320404f8d68ede4253570a5f57;hpb=d62d1b28015b18a515bdf81e2a8f658d158fae5a;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index ebf279462..f4cdb2307 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -22,13 +22,13 @@

Former members