]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e3af7b) | patch
Makefile to extract to ocaml code.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 2 Feb 2013 00:44:07 +0000 (00:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 2 Feb 2013 00:44:07 +0000 (00:44 +0000)
commitfc4cfc59b6645f52cdca4aed534276161c82e3ca
treee1797e77014bf776354833bea7da0c2744cdb82ftree | snapshot
parent4e3af7b63a1db57c95e0fc2a153c330166439eebcommit | diff
Makefile to extract to ocaml code.
matita/matita/lib/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.