helm/www/matita1.0/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>