]> matita.cs.unibo.it Git - helm.git/commit
fixed -debug
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Oct 2005 15:49:58 +0000 (15:49 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Oct 2005 15:49:58 +0000 (15:49 +0000)
commit9815046bf21f6423225b33faf02df25ac7fcd599
treea7a7b9d878ad893e3d5a8376055027c543a598f4
parent8523a35427aa3fdf40a0e14b8aac3428c8aa13f0
fixed -debug
helm/matita/contribs/LAMBDA-TYPES/.depend
helm/matita/contribs/PREDICATIVE-TOPOLOGY/ac_defs.ma
helm/matita/matitacLib.ml
helm/matita/tests/fguidi.ma