typo
authorStefano Zacchiroli <zack@debian.org>
Wed, 26 Dec 2007 11:12:29 +0000 (12:12 +0100)
committerStefano Zacchiroli <zack@debian.org>
Wed, 26 Dec 2007 11:12:29 +0000 (12:12 +0100)
hacking/software.mdwn

index fb63c24..8fa7f58 100644 (file)
@@ -56,7 +56,7 @@ package](http://packages.qa.debian.org/cduce)]
 servers [ [[homepage|ocaml-http]], [debian
 package](http://packages.qa.debian.org/ocaml-http)]
 * ([components](http://helm.cs.unibo.it/software/) of) **HELM** - a digital
-library of formalized mathematics) [[homepage](http://helm.cs.unibo.it)]:
+library of formalized mathematics [[homepage](http://helm.cs.unibo.it)]:
   * **UWOBO** - a XSLT processor with a web service interface
   [[homepage](http://helm.cs.unibo.it/software/uwobo/)]
   * **GDome2-XSLT** - glue to apply XSLT transformations to