]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3367d70) | patch
don't build pxp (no longer needed), cic_annotations (triassic dinosaur),
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 Jun 2005 11:16:36 +0000 (11:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 Jun 2005 11:16:36 +0000 (11:16 +0000)
commit524f4d383300fd7a00cb5e457340a15c10453937
tree772fbca1910dba3dd7aecfe1f03ce076f4c8be46tree | snapshot
parent3367d70259e6fe6737dbf9c6b5cf01a5b8282f3ecommit | diff
don't build pxp (no longer needed), cic_annotations (triassic dinosaur),
hbugs (coming soon ...)
helm/ocaml/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.