"Coq's " prefix added to every interpretation.

[helm.git] / helm / matita / matita.lang

diff --git a/helm/matita/matita.lang b/helm/matita/matita.lang
index 0fac57ec97e69a226e59498c7464650267821367..d8222e66fac32b02ccd520eba98d708aabe16270 100644 (file)
--- a/helm/matita/matita.lang
+++ b/helm/matita/matita.lang
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE language SYSTEM "language.dtd">
-<language _name="temperino" version="1.0" _section="Sources" mimetypes="text/x-matita">
+<language _name="grafite" version="1.0" _section="Sources" mimetypes="text/x-matita">
 
   <escape-char>\</escape-char>
 
@@ -20,6 +20,7 @@
     <keyword>lemma</keyword>
     <keyword>fact</keyword>
     <keyword>remark</keyword>
+    <keyword>variant</keyword>
   </keyword-list>
     
   <keyword-list _name = "Commands" style = "Keyword" case-sensitive="TRUE">
@@ -72,6 +73,7 @@
     <keyword>apply</keyword>
     <keyword>assumption</keyword>
     <keyword>auto</keyword>
+    <keyword>paramodulation</keyword>
     <keyword>clear</keyword>
     <keyword>clearbody</keyword>
     <keyword>change</keyword>
@@ -167,4 +169,3 @@
   </string>
  
 </language>
-