]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 934c0ea) | patch
filled README, BUGS, and other files useful for the distribution
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Jun 2006 09:53:27 +0000 (09:53 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Jun 2006 09:53:27 +0000 (09:53 +0000)
commit907853f340ed94e3f4e4a5c7b2f363a5c156cacd
tree25fd2f3bee5fe1203d8aa2b4d308d80b814ab7d1tree | snapshot
parent934c0ea6f38e8329487a5fe4db6b75b4d9e38f8dcommit | diff
filled README, BUGS, and other files useful for the distribution
matita/dist/BUGS [new file with mode: 0644] blob
matita/dist/COPYING diff | blob | history
matita/dist/ChangeLog diff | blob | history
matita/dist/INSTALL diff | blob | history
matita/dist/Makefile diff | blob | history
matita/dist/README diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.