I know the basics: they compute a difference between two versions and send it to the user's device where it is deployed. Precisely, I am interested in 2 questions:
Thank you.
OK, it seems that they use GDIFF algorithm that computes differences between streams. More information about GDIFF algorithm and GDIFF format here: http://www.w3.org/TR/NOTE-gdiff-19970901, http://gdiff.codeplex.com/.