X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2Fgrafite.lang;h=7770cbf57b5eceebdb123d2c71b377c2247c6615;hb=2e6ab93a8f10937942177133d2873efd4cf8562f;hp=93fabcc0c99fd915ecb9136f7b1b36504c0649e1;hpb=488fb7a872e0cf99f58a97baf6ec2358625d1212;p=helm.git

diff --git a/helm/software/matita/nlibrary/topology/grafite.lang b/helm/software/matita/nlibrary/topology/grafite.lang
index 93fabcc0c..7770cbf57 100644
--- 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