]> 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)
commitf438e9b0c8e43a66c56b17adeb8793042d0aade1
tree271509958d02d742f9e3d301b1cc26bf851169f1
parent57e3de08d963ff08d671c639c0e9990368b86f20
added some lines to compile for debugging
helm/software/components/Makefile.common
helm/software/components/cic_proof_checking/cicPp.ml
helm/software/components/tactics/Makefile
helm/software/components/tactics/auto.ml
helm/software/components/tactics/tacticals.ml
helm/software/matita/Makefile