]> matita.cs.unibo.it Git - helm.git/commit
added (placeholder) distribution stuff for matita
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 10:47:22 +0000 (10:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 10:47:22 +0000 (10:47 +0000)
commit6355ac16ff3996e16d9d9cfb08e4184bc7962f8b
treec0a11db8c4dbe08ec13ebb18e787d1b02ddf32dc
parentf3773eb1aa9de29abcc9ec9726171d57be88c25a
added (placeholder) distribution stuff for matita
helm/Makefile
helm/dist/AUTHORS [new file with mode: 0644]
helm/dist/COPYING [new file with mode: 0644]
helm/dist/INSTALL [new file with mode: 0644]
helm/dist/README [new file with mode: 0644]