Petr Rockai wrote: > The darcs-2 core works great as long as you stay away from duplicate hunks and > complex conflicts. However, this is much weaker guarantee than we would > like. We want a tool that is robust under *all* conditions: no crashing or > hanging bugs please. If you need to tread carefully around your VCS, then > something is wrong (and we all do and we also want to fix that...).
[...] > No, with theory I mean more rigorous definition of theory. There are many > "patch theories" possible: darcs-1 implements one of them, and darcs-2 > different. And camp works on yet another, which will come formalised, unlike > darcs-1 and darcs-2, which only come in form of (somewhat under-documented) > code -- especially the darcs-2 case. Ah, OK, this sounds indeed very good. So I'm not afraid anymore. Thanks, Karel -- Karel Gardas [email protected] ObjectSecurity Ltd. http://www.objectsecurity.com _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
