]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xsltd/README
ocaml 3.09 transition
[helm.git] / helm / xsltd / README
index 9f6eb3534f9e070e7fb8ec433d759ceefc40c698..ab2790be751e3dd0bb08def7230045d21c0f2c59 100644 (file)
@@ -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