]> matita.cs.unibo.it Git - helm.git/blob - helm/matita/matita.gladep
- passes subst to FreshNameGenerator
[helm.git] / helm / matita / matita.gladep
1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-project SYSTEM "http://glade.gnome.org/glade-project-2.0.dtd">
3
4 <glade-project>
5   <name>Matita</name>
6   <program_name>matita</program_name>
7   <gnome_support>FALSE</gnome_support>
8 </glade-project>