X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fhelm-proto.hrc;fp=helm%2Fwww%2Fmatita%2Fhelm-proto.hrc;h=f678424528e79a5e66e5172d58ea04c2ed7c7433;hb=228d207d77101f153312e1c2cef1b8f2b5ec329f;hp=0000000000000000000000000000000000000000;hpb=f08e376eb0b370f92900182d3a5867a5b8c0cf7b;p=helm.git

diff --git a/helm/www/matita/helm-proto.hrc b/helm/www/matita/helm-proto.hrc
new file mode 100644
index 000000000..f67842452
--- /dev/null
+++ b/helm/www/matita/helm-proto.hrc
@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding='Windows-1251'?>
+<!DOCTYPE hrc PUBLIC "-//Cail Lomecb//DTD Colorer HRC take5//EN"
+  "http://colorer.sf.net/2003/hrc.dtd">
+<hrc version="take5" xmlns="http://colorer.sf.net/2003/hrc"
+     xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+     xsi:schemaLocation="http://colorer.sf.net/2003/hrc http://colorer.sf.net/2003/hrc.xsd">
+
+  <annotation>
+   <documentation>
+   This is a base HRC file with prototype defines and types linking information.
+   </documentation>
+  </annotation>
+
+  <!--  main languages  -->
+  <prototype name="grafite" group="helm" description="Matita script language">
+    <location link="grafite.hrc" />
+    <filename>/\.ma$/i</filename>
+  </prototype>
+
+  <type name="default"><scheme name="grafite"/></type>
+
+</hrc>