]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9aefdd) | patch
matita distribution stuff
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 2 Nov 2005 10:36:01 +0000 (10:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 2 Nov 2005 10:36:01 +0000 (10:36 +0000)
commit688b371f4bf16e749f16143f8c225d2cb2f225d5
tree68097c93f8676c9adf349d99c59815cbf8d7afdetree | snapshot
parentf9aefdd51cf9cdd6997e7350dfaa8a524c09a8c3commit | diff
matita distribution stuff
helm/matita/dist/Makefile [new file with mode: 0644] blob
helm/matita/dist/static_link/.cvsignore [new file with mode: 0644] blob
helm/matita/dist/static_link/Makefile [new file with mode: 0644] blob
helm/matita/dist/static_link/static_link.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.