]> matita.cs.unibo.it Git - helm.git/commit
added some lines to compile for debugging
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 May 2007 15:30:53 +0000 (15:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 May 2007 15:30:53 +0000 (15:30 +0000)
commitb3779638cd49747f4b71784fba57cfb0a56297f5
treee44725b2a1304ad82015649c006155a21fb01587
parentac2c05500dd7c9df5ddf43d809fdd56722beef00
added some lines to compile for debugging
components/Makefile.common
components/cic_proof_checking/cicPp.ml
components/tactics/Makefile
components/tactics/auto.ml
components/tactics/tacticals.ml
matita/Makefile