merged cic_notation with matita: good luck!

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

diff --git a/helm/matita/matita.lang b/helm/matita/matita.lang
index d01280c90535da579fef8c2e82831569a7d8f8dc..17a8f4661eb6abf72792802e233c97b7db4ba3ae 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>
 
@@ -168,4 +168,3 @@
   </string>
  
 </language>
-