documentation update

[helm.git] / helm / www / lambdadelta / web / home / index.ldw.xml

diff --git a/helm/www/lambdadelta/web/home/index.ldw.xml b/helm/www/lambdadelta/web/home/index.ldw.xml
index 5110c14703bf1f775c64e5b52b4ccc6c9361e077..9913b240147275801286836c46537f52bc4b84e3 100644 (file)
--- a/helm/www/lambdadelta/web/home/index.ldw.xml
+++ b/helm/www/lambdadelta/web/home/index.ldw.xml
@@ -41,7 +41,7 @@
 
    <topitem name="C7">
       C. Dunchev, F. Guidi, C. Sacerdoti Coen, E. Tassi:
-      <notice class="alpha">ELPI: fast, Embeddable, λProlog Interpreter</notice>
+      <notice class="alpha">ELPI: Fast, Embeddable, λProlog Interpreter</notice>
       (2015). In proc. of LPAR 20. Lecture Notes in Computer Science, 9450, pp. 460-468. Springer.
    </topitem>