]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/documentation.ldw.xml
web site updated with document J2
[helm.git] / helm / www / lambdadelta / web / home / documentation.ldw.xml
index 5643079191cff01463985cf6fccf9ac566e64c63..01bda01915daf4b9a036baa1c1d2bdb520239b21 100644 (file)
@@ -19,7 +19,7 @@
    
    <subsection name="v2"><version2-icon/>λδ version 2 (active)</subsection>
    <body>
-      The main source of information is <notice class="alpha" notice="P8"/>.
+      The main source of information is <notice class="alpha" notice="J2"/>.
    </body>
    <table name="documentation_2"/>