]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/specification.ldw.xml
web site update
[helm.git] / helm / www / lambdadelta / web / home / specification.ldw.xml
index 721939a4483553e32e53c1c67dde8755cf15e9de..3b7e71aa585fb68b602d8de84326c96aba95fd3f 100644 (file)
@@ -29,7 +29,7 @@
    <table name="versions"/>
 
    <body>
-     <notice class="alpha" text="Change logs:"/>
+     <notice class="alpha" text="Change logs: "/>
      <rlink to="html/changes.html">System and Specification</rlink>
      (updated <notice class="gamma" notice="2019-12"/>).
    </body>