]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita/helm-proto.hrc
...
[helm.git] / helm / www / matita / helm-proto.hrc
1 <?xml version="1.0" encoding='Windows-1251'?>
2 <!DOCTYPE hrc PUBLIC "-//Cail Lomecb//DTD Colorer HRC take5//EN"
3   "http://colorer.sf.net/2003/hrc.dtd">
4 <hrc version="take5" xmlns="http://colorer.sf.net/2003/hrc"
5      xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
6      xsi:schemaLocation="http://colorer.sf.net/2003/hrc http://colorer.sf.net/2003/hrc.xsd">
7
8   <annotation>
9    <documentation>
10    This is a base HRC file with prototype defines and types linking information.
11    </documentation>
12   </annotation>
13
14   <!--  main languages  -->
15   <prototype name="grafite" group="helm" description="Matita script language">
16     <location link="grafite.hrc" />
17     <filename>/\.ma$/i</filename>
18   </prototype>
19
20   <type name="default">
21     <scheme name="grafite" />
22   </type>
23
24 </hrc>