]> matita.cs.unibo.it Git - helm.git/commit
matitac now automatically cleans a non empty baseuri
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 Jul 2005 13:20:45 +0000 (13:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 Jul 2005 13:20:45 +0000 (13:20 +0000)
commit3e86f296f53e98401b281ce96fc7ba545dbd05b4
tree1a089e47445f5c5d2f95c3b992b4636433c1c537
parenta2620a2625d198b6fe42c1af213b7f12ea243abc
matitac now automatically cleans a non empty baseuri
helm/matita/.depend
helm/matita/Makefile.in
helm/matita/matitaEngine.ml
helm/matita/matitaEngine.mli
helm/matita/matitaScript.ml
helm/matita/matitacLib.ml
helm/matita/matitamakeLib.ml
helm/matita/template_makefile.in