X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=dae6c19d49d511a3cc5b6bf647267405b806b299;hb=045c74915022181e288d9a950cc485437b08d002;hp=69b49ee5fa833fb71cacb5df2d2fec37e4d17344;hpb=884876e28023324f68c97f1e387431d21b0a6453;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 69b49ee5f..dae6c19d4 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -1,6 +1,6 @@ - - + +