Created a new directory for Matita1.0

[helm.git] / helm / www / matita1.0 / helm-proto.hrc

diff --git a/helm/www/matita1.0/helm-proto.hrc b/helm/www/matita1.0/helm-proto.hrc
new file mode 100644 (file)
index 0000000..90b6235
--- /dev/null
+++ b/helm/www/matita1.0/helm-proto.hrc
@@ -0,0 +1,24 @@
+<?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>