]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ab85aa) | patch
local use of OCAMLPATH so that ./script.sh should not be needed anymore
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 22 Jun 2005 13:50:50 +0000 (13:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 22 Jun 2005 13:50:50 +0000 (13:50 +0000)
commit3a01bd3bb2a1d7b891b6c8b024bf6975d86d2a1f
treed2252ff986b8de6d9b7dd865a0a47ef40ab0eb2ftree | snapshot
parent8ab85aa671cb8bd97435b8bce5435a62aca040cfcommit | diff
local use of OCAMLPATH so that ./script.sh should not be needed anymore
helm/matita/Makefile.in diff | blob | history
helm/matita/configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.