<!ENTITY app "<application>Matita</application>">
<!ENTITY appname "Matita">
<!ENTITY appversion SYSTEM "version.txt">
<!ENTITY app "<application>Matita</application>">
<!ENTITY appname "Matita">
<!ENTITY appversion SYSTEM "version.txt">
<!ENTITY LCFtactical "<emphasis><link linkend='grammar.LCFtactical'>LCF-tactical</link></emphasis>">
<!ENTITY qstring "<emphasis><link linkend='grammar.qstring'>qstring</link></emphasis>">
<!ENTITY interpretation "<emphasis><link linkend='grammar.interpretation'>interpretation</link></emphasis>">
<!ENTITY LCFtactical "<emphasis><link linkend='grammar.LCFtactical'>LCF-tactical</link></emphasis>">
<!ENTITY qstring "<emphasis><link linkend='grammar.qstring'>qstring</link></emphasis>">
<!ENTITY interpretation "<emphasis><link linkend='grammar.interpretation'>interpretation</link></emphasis>">