# objects for matita (GTK GUI)
CMOS = \
buildTimeConf.cmo \
+ lablGraphviz.cmo \
matitaTypes.cmo \
matitaMisc.cmo \
matitamakeLib.cmo \
matitaScript.cmo \
matitaGeneratedGui.cmo \
matitaMathView.cmo \
- lablGraphviz.cmo \
matitaGui.cmo \
$(NULL)
# objects for matitac (batch compiler)