X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fstart.html;h=c5a6ef70289dac432869f3b0f4112c0af88d7125;hb=b0a32c3d617eb1c22e09d5c41e3cc03ff779a9f8;hp=57e85c7e7994ad0d4868dfef7e5e155e531e72fa;hpb=33c7572776d0e2c502293f32ad6a01e6f8cf1e74;p=helm.git diff --git a/helm/searchEngine/html/start.html b/helm/searchEngine/html/start.html index 57e85c7e7..c5a6ef702 100644 --- a/helm/searchEngine/html/start.html +++ b/helm/searchEngine/html/start.html @@ -4,7 +4,7 @@ -Are you lost? Consult the on-line manual +Are you lost? Consult the on-line manual