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

diff --git a/matita/matita.lang b/matita/matita.lang
index 2258e1229..c41cc5fdc 100644
--- a/matita/matita.lang
+++ b/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>