<!ENTITY app "<application>Matita</application>">
<!ENTITY appname "Matita">
<!ENTITY appversion SYSTEM "version.txt">
+
+ <!ENTITY TODO "<emphasis>TODO</emphasis>">
]>
<!-- =============Document Header ============================= -->
<!-- ============= Application License ============================= -->
- <sect1 id="license">
+ <sect1 id="sec_license">
<title>License</title>
&license;
</sect1>