X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmat_con.html;h=5fab873567a34cad28de3aac8c954de1c14e9df5;hb=718bc0ea70defa418c23850dbb8f2850b0c3a542;hp=3f4d37e41c7a35751fb03a9d09a9b98736337116;hpb=87218276a42635aad90a91757d431a9cb61983a4;p=helm.git diff --git a/helm/searchEngine/html/mat_con.html b/helm/searchEngine/html/mat_con.html index 3f4d37e41..5fab87356 100644 --- a/helm/searchEngine/html/mat_con.html +++ b/helm/searchEngine/html/mat_con.html @@ -1,16 +1,10 @@ - \ No newline at end of file +