]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9da16eb) | patch
MATITA_* env variable preserved when publishing a development
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:08:27 +0000 (14:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:08:27 +0000 (14:08 +0000)
commit105a6097411efd3ab1a198426dcf30d9943013e3
tree95f1210f2b491dcdafb92c30981974a7ffe89e94tree | snapshot
parent9da16ebf1736b345ef6f3c4d9e0c107ed049ba4ecommit | diff
MATITA_* env variable preserved when publishing a development
helm/software/matita/matitamakeLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.