λδ site update

[helm.git] / helm / software / matita / nlibrary / topology / sh_grafite.js

diff --git a/helm/software/matita/nlibrary/topology/sh_grafite.js b/helm/software/matita/nlibrary/topology/sh_grafite.js
index f327caada9c285b64f59cfdf232a80e36965fd1b..2e6bcdff4f04a995e73662750bee836110578d57 100644 (file)
--- a/helm/software/matita/nlibrary/topology/sh_grafite.js
+++ b/helm/software/matita/nlibrary/topology/sh_grafite.js
@@ -19,7 +19,7 @@ sh_languages['grafite'] = [
       1
     ],
     [
-      /\b(?:match|with|naxiom|nlemma|ntheorem|nrecord|for|ninductive|ncoinductive|ndefinition|nlet|rec|corec|notation|interpretation|nqed|include)\b/g,
+      /\b(?:match|with|in|naxiom|nlemma|ntheorem|nrecord|for|ninductive|ncoinductive|ndefinition|nlet|rec|corec|notation|interpretation|nqed|include)\b/g,
       'sh_keyword',
       -1
     ],