- nnAuto: we catch TypeCheckerFailure generated at the end of

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / web / basic_2.ldw.xml

diff --git a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
index ca4970bcb5d75dc7e4f059d2440716e53e83fdc1..9f2c61a6454c250e988694f0dce4289fb367e9f2 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
@@ -44,11 +44,11 @@
          for context-sensitive computation on terms.
    </news>
    <news date="2014 June 9.">
-         strong qrst-normalization
+         Strong qrst-normalization
          for simply typed terms.
    </news>
    <news date="2014 April 16.">
-         lazy equivalence on local environments
+         Lazy equivalence on local environments
         addded as q-step to rst-computation on closures
          (anniversary milestone).
    </news>