]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 608c1bb) | patch
matitaclean now removes the .moo file, if existent.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jul 2005 09:54:49 +0000 (09:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jul 2005 09:54:49 +0000 (09:54 +0000)
commit2afb20c90f56b970887c650c35fb9043ccc4c2dc
tree1e32bd930e0aec5ec1417c73ffd6693e18751851tree | snapshot
parent608c1bbe456a160b0c65c7d9fe58325279941ed9commit | diff
matitaclean now removes the .moo file, if existent.
helm/matita/library/Makefile diff | blob | history
helm/matita/matitaclean.ml diff | blob | history
helm/matita/tests/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.