milestone in basic_2, λδ-2A reconstructed

[helm.git] / helm / software / matita / matita.lang

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index 478f7422579bc05a8322b95dad3292611cbe7ca1..9238684a08cc4de408bd86aef9bfeb85bbee2bb5 100644 (file)
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -99,6 +99,7 @@
          <keyword>ncoinductive</keyword>
          <keyword>nlet</keyword>
          <keyword>nlemma</keyword>
+         <keyword>nremark</keyword>
          <keyword>naxiom</keyword>
 
          <!-- tactics -->
@@ -182,6 +183,7 @@
 
          <!-- ntactics -->
          <keyword>napply</keyword>              
+         <keyword>napplyS</keyword>             
          <keyword>ncases</keyword>              
          <keyword>nletin</keyword>              
          <keyword>nauto</keyword>