09b853b
09b853b
<mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info">
dd74bac
   <mime-type type="application/x-coq">
dd74bac
     <sub-class-of type="text/plain"/>
09b853b
     <comment>Coq theory files</comment>
09b853b
     <glob pattern="*.v"/>
2568f6d
     <icon name="coqfile"/>
09b853b
   </mime-type>
09b853b
</mime-info>