X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.lang;h=c41cc5fdc483250aa3edc867068ad6c807e586f4;hb=2bd3b029f7f67d9c616b7756278573cc9e96510c;hp=2258e1229a2a8a8ba3c1bd72ec223dcfe85ab9c0;hpb=ccd1ec9a248921b2c81817b1a7f6f0a2f27d5c32;p=helm.git

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index 2258e1229..c41cc5fdc 100644
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -171,6 +171,7 @@
 
 
   <keyword-list _name = "Matita Macro" style = "Others 3" case-sensitive="TRUE">
+    <keyword>inline</keyword>
     <keyword>check</keyword>
     <keyword>hint</keyword>
     <keyword>set</keyword>