]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eecb3af) | patch
make also in utilities on whatever target
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Apr 2005 13:54:37 +0000 (13:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Apr 2005 13:54:37 +0000 (13:54 +0000)
commitd7bb3f680ae2e8faa2dd486c965c29fafd9612cf
tree097560853db521430568720f0eb7e3e27e105fcdtree | snapshot
parenteecb3af3e4e3a63bedfae9ddda5bf87bcbcb77f4commit | diff
make also in utilities on whatever target
helm/ocaml/cic_proof_checking/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.