X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2F.depend.opt;h=e4454794f0d927126eb152f9ace60111645d47c0;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=64b21476960573cd2451abffc0c9cde86bd83e8d;hpb=54ddd51bfebe9afc46db2eaa1a20ae971a467fd7;p=helm.git diff --git a/helm/software/matita/.depend.opt b/helm/software/matita/.depend.opt index 64b214769..e4454794f 100644 --- a/helm/software/matita/.depend.opt +++ b/helm/software/matita/.depend.opt @@ -10,10 +10,10 @@ matitaAutoGui.cmx: matitaGtkMisc.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \ applyTransformation.cmx matitaAutoGui.cmi matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi -matitacLib.cmo: matitaExcPp.cmi matitaEngine.cmi buildTimeConf.cmx \ - applyTransformation.cmi matitacLib.cmi -matitacLib.cmx: matitaExcPp.cmx matitaEngine.cmx buildTimeConf.cmx \ - applyTransformation.cmx matitacLib.cmi +matitacLib.cmo: matitaMisc.cmi matitaExcPp.cmi matitaEngine.cmi \ + buildTimeConf.cmx applyTransformation.cmi matitacLib.cmi +matitacLib.cmx: matitaMisc.cmx matitaExcPp.cmx matitaEngine.cmx \ + buildTimeConf.cmx applyTransformation.cmx matitacLib.cmi matitac.cmo: matitadep.cmi matitaclean.cmi matitacLib.cmi matitaWiki.cmx \ matitaMisc.cmi matitaInit.cmi matitac.cmx: matitadep.cmx matitaclean.cmx matitacLib.cmx matitaWiki.cmx \ @@ -48,10 +48,10 @@ matitaMisc.cmo: buildTimeConf.cmx matitaMisc.cmi matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi matita.cmo: predefined_virtuals.cmi matitaTypes.cmi matitaScript.cmi \ matitaMathView.cmi matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi \ - matitaAutoGui.cmi buildTimeConf.cmx applyTransformation.cmi + buildTimeConf.cmx applyTransformation.cmi matita.cmx: predefined_virtuals.cmx matitaTypes.cmx matitaScript.cmx \ matitaMathView.cmx matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx \ - matitaAutoGui.cmx buildTimeConf.cmx applyTransformation.cmx + buildTimeConf.cmx applyTransformation.cmx matitaScript.cmo: virtuals.cmi matitacLib.cmi matitaTypes.cmi matitaMisc.cmi \ matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmx \ applyTransformation.cmi matitaScript.cmi