>> 2. If the user tries to access older information (before the last
>> checkpoint), darcs would then get the previous checkpoint, rebuild
>> the history and give the user the requested information.
> - we don't use checkpoints in Diff;
> - we used to use checkpoints in surelySlurpPristine, but then someone
> broke the code;
> - we do use checkpoints in Check.
False alarm -- we do in fact use checkpoints in all three cases,
although we're not as smart as we could be in the case of Diff. I'm
sincerely sorry if I made anyone nervous.
(Makes note to self not to read mailing lists in the evening.)
Juliusz
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
