]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce3cfcf) | patch
Matitaweb: Fixed long-time bug with dependencies and makefiles.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 11 Oct 2011 12:31:11 +0000 (12:31 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 11 Oct 2011 12:31:11 +0000 (12:31 +0000)
commit0c547d79d0edc850787ac27edc25565aa271ec2a
tree5e5822d6691689e347ee45d1077cd382f4b9a4c6tree | snapshot
parentce3cfcf5a01502918da07b8e13d8a4be93dc9fa2commit | diff
Matitaweb: Fixed long-time bug with dependencies and makefiles.
matitaB/components/content/.depend.opt diff | blob | history
matitaB/components/content_pres/.depend.opt diff | blob | history
matitaB/components/extlib/.depend.opt diff | blob | history
matitaB/components/grafite_parser/.depend.opt diff | blob | history
matitaB/components/library/.depend.opt diff | blob | history
matitaB/components/ng_disambiguation/.depend.opt diff | blob | history
matitaB/components/ng_kernel/.depend.opt diff | blob | history
matitaB/matita/.depend diff | blob | history
matitaB/matita/.depend.opt diff | blob | history
matitaB/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.