X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Ffeatures.html;h=46701166acef510892d55613c901a9f926b7f5a5;hb=851b86c88a136e04c6042b86687096eb9c7f3175;hp=12a6d7a501da0169e681022646f2d82b82c33921;hpb=61519a6ef507c1319be96c2f4a06e059fb61cf44;p=helm.git diff --git a/helm/mathql/homepage/features.html b/helm/mathql/homepage/features.html index 12a6d7a50..46701166a 100644 --- a/helm/mathql/homepage/features.html +++ b/helm/mathql/homepage/features.html @@ -123,7 +123,7 @@ what part of a solution should be preserved or discarded.