matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 5b14327) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 9 Feb 2006 00:19:56 +0000 (00:19 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 9 Feb 2006 00:19:56 +0000 (00:19 +0000)
commit	833a6e8739c3abb6addb2426631f19c795e00bec
tree	3b6ef56c6698f9c2f5f29317ae44ea4207f4f7fd	tree \| snapshot
parent	5b1432705043c3167e0f97fe25223019ba7b3807	commit \| diff

completed installation instructions

helm/software/matita/dist/INSTALL		diff \| blob \| history
helm/software/matita/help/C/matita.xml		diff \| blob \| history
helm/software/matita/help/C/sec_install.xml		diff \| blob \| history
helm/www/matita/download.shtml		diff \| blob \| history
helm/www/matita/install.html	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.