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: 3faa139) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 15 Mar 2012 18:57:05 +0000 (18:57 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 15 Mar 2012 18:57:05 +0000 (18:57 +0000)
commit	ae7427e8d3c57ccc77931e27913d8605d385cbda
tree	467422568865aa474b9b6535feaa0069aea10816	tree \| snapshot
parent	3faa1392ca37333cc6786e81bb1205cad5197302	commit \| diff

some renaming (ld_ prefix removed from file names)

16 files changed:

helm/www/lambda_delta/apps_2.html	[new file with mode: 0644]	blob
helm/www/lambda_delta/basic_2.html	[new file with mode: 0644]	blob
helm/www/lambda_delta/ld_apps_2.html	[deleted file]	blob \| history
helm/www/lambda_delta/ld_basic_2.html	[deleted file]	blob \| history
helm/www/lambda_delta/news.html		diff \| blob \| history
helm/www/lambda_delta/web/home/apps_2.ldw.xml	[new file with mode: 0644]	blob
helm/www/lambda_delta/web/home/apps_2_src.tbl	[new file with mode: 0644]	blob
helm/www/lambda_delta/web/home/basic_2.ldw.xml	[new file with mode: 0644]	blob
helm/www/lambda_delta/web/home/basic_2_blk.tbl	[new file with mode: 0644]	blob
helm/www/lambda_delta/web/home/basic_2_src.tbl	[new file with mode: 0644]	blob
helm/www/lambda_delta/web/home/ld_apps_2.ldw.xml	[deleted file]	blob \| history
helm/www/lambda_delta/web/home/ld_apps_2_src.tbl	[deleted file]	blob \| history
helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml	[deleted file]	blob \| history
helm/www/lambda_delta/web/home/ld_basic_2_blk.tbl	[deleted file]	blob \| history
helm/www/lambda_delta/web/home/ld_basic_2_src.tbl	[deleted file]	blob \| history
helm/www/lambda_delta/xslt/ld_basic_2_blk.xsl	[deleted file]	blob \| history

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