Patch 384: now with added docs - Darcs bug tracker

Created on 2010-09-03.19:41:06 by ganesh, last changed 2011-05-10.22:36:01 by darcswatch.

Files
File name	Status	Uploaded	Type	Edit	Remove
drop-unused-filtere_proof.dpatch		ganesh, 2010-09-03.19:43:27	text/x-darcs-patch
unnamed		ganesh, 2010-09-03.19:41:06
unnamed		ganesh, 2010-09-03.19:43:27

See mailing list archives for discussion on individual patches.

Messages
msg12445 (view)	Author: ganesh	Date: 2010-09-03.19:41:06
Removing some dead or nearly dead code: 4 patches for repository http://darcs.net: Fri Sep 3 18:25:25 BST 2010 Ganesh Sittampalam <ganesh@earth.li> * drop unused filterE/Proof Fri Sep 3 18:48:55 BST 2010 Ganesh Sittampalam <ganesh@earth.li> * drop unsafeMap_l2f Fri Sep 3 18:57:22 BST 2010 Ganesh Sittampalam <ganesh@earth.li> * drop unused headRL Fri Sep 3 19:00:19 BST 2010 Ganesh Sittampalam <ganesh@earth.li> * drop unused concatReverseFL Attachments drop-unused-filtere_proof.dpatch unnamed
msg12446 (view)	Author: ganesh	Date: 2010-09-03.19:43:27
I meant to sent the doc patch at the end separately, but it depends so might as well go together: 5 patches for repository http://darcs.net: Fri Sep 3 18:25:25 BST 2010 Ganesh Sittampalam <ganesh@earth.li> * drop unused filterE/Proof Fri Sep 3 18:48:55 BST 2010 Ganesh Sittampalam <ganesh@earth.li> * drop unsafeMap_l2f Fri Sep 3 18:57:22 BST 2010 Ganesh Sittampalam <ganesh@earth.li> * drop unused headRL Fri Sep 3 19:00:19 BST 2010 Ganesh Sittampalam <ganesh@earth.li> * drop unused concatReverseFL Fri Sep 3 19:12:55 BST 2010 Ganesh Sittampalam <ganesh@earth.li> * add some haddock to Darcs.Witnesses.Eq Attachments drop-unused-filtere_proof.dpatch unnamed
msg12486 (view)	Author: darcswatch	Date: 2010-09-06.19:31:02
This patch bundle (with 4 patches) was just applied to the repository http://darcs.net/. This message was brought to you by DarcsWatch http://darcswatch.nomeata.de/repo_http:__darcs.net_.html#bundle-68175b212fee67ef199f11bca596e0d36c0caa44
msg12488 (view)	Author: darcswatch	Date: 2010-09-06.19:31:05
This patch bundle (with 5 patches) was just applied to the repository http://darcs.net/. This message was brought to you by DarcsWatch http://darcswatch.nomeata.de/repo_http:__darcs.net_.html#bundle-f6911abdb5e929ab23bf7ab2e0a45a5656e56eb0
msg14345 (view)	Author: darcswatch	Date: 2011-05-10.21:36:05
This patch bundle (with 4 patches) was just applied to the repository http://darcs.net/reviewed. This message was brought to you by DarcsWatch http://darcswatch.nomeata.de/repo_http:__darcs.net_reviewed.html#bundle-68175b212fee67ef199f11bca596e0d36c0caa44
msg14424 (view)	Author: darcswatch	Date: 2011-05-10.22:36:01
This patch bundle (with 5 patches) was just applied to the repository http://darcs.net/reviewed. This message was brought to you by DarcsWatch http://darcswatch.nomeata.de/repo_http:__darcs.net_reviewed.html#bundle-f6911abdb5e929ab23bf7ab2e0a45a5656e56eb0

History
Date	User	Action	Args
2010-09-03 19:41:06	ganesh	create
2010-09-03 19:43:27	ganesh	set	files: + drop-unused-filtere_proof.dpatch, unnamed messages: + msg12446 title: drop unused filterE/Proof (and 3 more) -> now with added docs
2010-09-03 19:44:38	ganesh	set	files: - drop-unused-filtere_proof.dpatch
2010-09-06 19:31:02	darcswatch	set	status: needs-review -> accepted messages: + msg12486
2010-09-06 19:31:05	darcswatch	set	messages: + msg12488
2011-05-10 21:36:05	darcswatch	set	messages: + msg14345
2011-05-10 22:36:01	darcswatch	set	messages: + msg14424