darcs

Patch 629 Add Witnesses.WZipper.toStart (and 1 more)

Title Add Witnesses.WZipper.toStart (and 1 more)
Superseder Nosy List galbolle
Related Issues
Status accepted Assigned To
Milestone

Created on 2011-06-15.10:20:26 by galbolle, last changed 2011-12-29.21:35:44 by ganesh.

Files
File name Status Uploaded Type Edit Remove
add-witnesses_wzipper_tostart.dpatch galbolle, 2011-06-15.10:20:26 application/x-darcs-patch
unnamed galbolle, 2011-06-15.10:20:26 text/x-darcs-patch
unnamed galbolle, 2011-06-15.10:20:26
See mailing list archives for discussion on individual patches.
Messages
msg14534 (view) Author: galbolle Date: 2011-06-15.10:20:26
2 patches for repository http://darcs.net:

Tue Jun 14 17:45:36 CEST 2011  Florent Becker <florent.becker@ens-lyon.org>
  * Add Witnesses.WZipper.toStart

Wed Jun 15 10:37:24 CEST 2011  Florent Becker <florent.becker@ens-lyon.org>
  * Add a 'o' command to interactive selection for going to the first patch
Attachments
msg14639 (view) Author: kowey Date: 2011-08-13.15:23:40
+1 on implementation.

I don't think it needs advocacy/skepticism (adds 'o' to interactive UI to 
'k' up to the very beginning), but will just screen it for now
msg14910 (view) Author: ganesh Date: 2011-12-29.20:49:41
Agreed that it sounds non-intrusive even if it is a new feature.
History
Date User Action Args
2011-06-15 10:20:26galbollecreate
2011-08-13 15:23:40koweysetmessages: + msg14639
2011-08-13 16:46:27ganeshsetstatus: needs-screening -> needs-review
2011-12-29 20:49:41ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg14910
2011-12-29 21:35:44ganeshsetstatus: accepted-pending-tests -> accepted