Search: 
[] List [] Subjects [] Authors [] Bodies for list 'darcs-devel'
Set Page Width: [ 80 ] [ 90 ] [ 100 ] [ 120 ]
Viewing messages in list darcs-devel
- 2019-07-01 - 2019-08-01 (167 messages)
- 2019-06-01 - 2019-07-01 (237 messages)
- 2019-05-01 - 2019-06-01 (1 message)
 Next  Last 

  1. 2019-06-30  [5] [darcs-devel] [patch1844] automatically specialize me darcs-dev Ben Franksen 
  2. 2019-06-30  [1] [darcs-devel] (un)safety of unsafeCompare             darcs-dev Ben Franksen 
  3. 2019-06-28  [1] [darcs-devel] [patch1844] fix a bug in darcs1->darcs- darcs-dev Ben Franksen 
  4. 2019-06-27  [2] [darcs-devel] Generic instances for FLs               darcs-dev Benjamin Fran
  5. 2019-06-25  [4] [darcs-devel] [patch1843] bugfix in V3.commuteNoConfl darcs-dev Ben Franksen 
  6. 2019-06-25  [5] [darcs-devel] Bugs in RepoPatchV3                     darcs-dev Ben Franksen 
  7. 2019-06-23  [3] Re: [darcs-devel] new test case generator             darcs-dev Ganesh Sittam
  8. 2019-06-23  [7] [darcs-devel] [issue2602] add command 'darcs config'  darcs-dev Ben Franksen 
  9. 2019-06-23  [2] [darcs-devel] new test case generator [was: TreeWithF darcs-dev Ganesh Sittam
 10. 2019-06-22 [10] [darcs-devel] [patch1809] some optimizations in ByteS darcs-dev Ben Franksen 
 11. 2019-06-22  [6] [darcs-devel] [patch1796] don't offer already depende darcs-dev Ganesh Sittam
 12. 2019-06-21  [2] [darcs-devel] TreeWithFlattenPos                      darcs-dev Ganesh Sittam
 13. 2019-06-20 [17] [darcs-devel] [patch1730] add RepoPatchV3 aka camp co darcs-dev Ben Franksen 
 14. 2019-06-20  [8] [darcs-devel] [patch1804] make linear search report r darcs-dev Benjamin Fran
 15. 2019-06-18  [1] [darcs-devel] [issue2627] potential security risk due darcs-dev Ben Franksen 
 16. 2019-06-18  [3] [darcs-devel] [patch1841] resolve issue2610: add --in darcs-dev Ben Franksen 
 17. 2019-06-18  [3] [darcs-devel] [patch1836] resolve issue2625: catch on darcs-dev Ben Franksen 
 18. 2019-06-18  [3] [darcs-devel] [issue1461] case-folding can lead to wo darcs-dev Ben Franksen 
 19. 2019-06-18  [1] [darcs-devel] [patch1842] bring help text for 'darcs  darcs-dev Ben Franksen 
 20. 2019-06-17  [3] [darcs-devel] [patch1839] streamline the final "Finis darcs-dev Ben Franksen 
 21. 2019-06-17  [1] [darcs-devel] [patch1838] resolve issue2626: treat ap darcs-dev Ben Franksen 
 22. 2019-06-16  [1] [darcs-devel] [issue2626] treat applyToWorking more u darcs-dev Ben Franksen 
 23. 2019-06-16  [6] [darcs-devel] [patch1820] accept issue2609: conflicts darcs-dev Ben Franksen 
 24. 2019-06-15  [1] [darcs-devel] [issue2609] conflicts on unrevert       darcs-dev Ben Franksen 
 25. 2019-06-15  [5] [darcs-devel] [patch1815] fix a bug in darcs1->darcs- darcs-dev Ben Franksen 
 26. 2019-06-15  [1] [darcs-devel] [issue2625] should catch only IO except darcs-dev Ben Franksen 
 27. 2019-06-15 [12] [darcs-devel] [patch1791] fix several uses of error w darcs-dev Ben Franksen 
 28. 2019-06-15  [1] [darcs-devel] [patch1835] test move command properly  darcs-dev Ben Franksen 
 29. 2019-06-15  [6] [darcs-devel] [patch1823] v3: basic implementation an darcs-dev Ben Franksen 
 30. 2019-06-15  [5] [darcs-devel] [patch1822] add a comment explaining th darcs-dev Ganesh Sittam

 Next  Last 

Configure | About | News | Add a list | Sponsored by KoreLogic