matitaMisc.cmo \
matitaDb.cmo \
matitamakeLib.cmo \
- matitaInit.cmo \
+ matitaInit.cmo \
+ disambiguatePp.cmo \
matitaSync.cmo \
matitaDisambiguator.cmo \
matitaExcPp.cmo \
matitaScript.cmo \
matitaGeneratedGui.cmo \
matitaGtkMisc.cmo \
+ applyTransformation.cmo \
matitaMathView.cmo \
matitaGui.cmo \
$(NULL)
matitaMisc.cmo \
matitaDb.cmo \
matitamakeLib.cmo \
- matitaInit.cmo \
+ matitaInit.cmo \
+ disambiguatePp.cmo \
matitaSync.cmo \
matitaDisambiguator.cmo \
matitaExcPp.cmo \