X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fxsltd%2FREADME;h=ab2790be751e3dd0bb08def7230045d21c0f2c59;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=9f6eb3534f9e070e7fb8ec433d759ceefc40c698;hpb=b11b04010e38e8faacfe3bca32bcd28cb899eb39;p=helm.git diff --git a/helm/xsltd/README b/helm/xsltd/README index 9f6eb3534..ab2790be7 100644 --- a/helm/xsltd/README +++ b/helm/xsltd/README @@ -3,6 +3,6 @@ NOTE: This is the first alpha release of project HELM. HELM (Hypertextual Electronic Library of Mathematics) is a project aimed at the creation of tools for the development and exploitation of a huge distributed library of formal mathematical knowledge. This package holds -the configuration files shared by all this tools. +an UDP-based XSLT daemon. For more information see http://www.cs.unibo.it/helm