]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa791b7) | patch
fixed makefiles to make it compile cleanly again
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 23 Jul 2007 09:14:53 +0000 (09:14 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 23 Jul 2007 09:14:53 +0000 (09:14 +0000)
commitf0cfb75e23d0c1c403c8a67b47be931980f5419f
tree9282cfd2876ce3e9f1eb86e3be21b10fd97c671btree | snapshot
parentaa791b78493b604792383cf6326877d0d53e0458commit | diff
fixed makefiles to make it compile cleanly again
matita/.depend diff | blob | history
matita/.depend.opt diff | blob | history
matita/Makefile diff | blob | history
matita/dist/Makefile diff | blob | history
matita/matitaAutoGui.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.