From 6c4c95026020ae9924ac652482a8a0f731719e6c Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 7 May 2010 10:04:00 +0000
Subject: [PATCH] remarks and applyS

---
 helm/software/matita/matita.lang | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index 478f74225..9238684a0 100644
--- 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>	    	 
-- 
2.39.2