]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2194c4) | patch
fixed -f in clean
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 21 Dec 2005 16:24:20 +0000 (16:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 21 Dec 2005 16:24:20 +0000 (16:24 +0000)
commit5eb10ed1a0a64b09e36dfb5f29774ada50fd37c6
tree3a32028b7d8acdee106bcd67cbc049afee8b0bd1tree | snapshot
parentd2194c4b6be02eb5072aa338495429638d980c1acommit | diff
fixed -f in clean
make tests now compiles coq.ma
helm/matita/Makefile.in diff | blob | history
helm/matita/contribs/LAMBDA-TYPES/Makefile diff | blob | history
helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile diff | blob | history
helm/matita/tests/Makefile diff | blob | history
helm/matita/tests/bad_tests/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.