...

[helm.git] / helm / software / matita / nlibrary / topology / grafite.lang

diff --git a/helm/software/matita/nlibrary/topology/grafite.lang b/helm/software/matita/nlibrary/topology/grafite.lang
index 93fabcc0c99fd915ecb9136f7b1b36504c0649e1..7770cbf57b5eceebdb123d2c71b377c2247c6615 100644 (file)
--- a/helm/software/matita/nlibrary/topology/grafite.lang
+++ b/helm/software/matita/nlibrary/topology/grafite.lang
@@ -6,7 +6,7 @@ number =
 
 string delim "\"" "\"" escape "\\"
 
-keyword = "match|with|naxiom|nlemma|ntheorem|nrecord|for|ninductive|ncoinductive|ndefinition|nlet|rec|corec|notation|interpretation|nqed|include"
+keyword = "match|with|in|naxiom|nlemma|ntheorem|nrecord|for|ninductive|ncoinductive|ndefinition|nlet|rec|corec|notation|interpretation|nqed|include"
 
 comment delim "(*" "*)" multiline nested