Unison is a under-appreciated gem of file synchronization. The author also published several papers on the subject: http://www.cis.upenn.edu/~bcpierce/papers/in

Unison is a under-appreciated gem of file synchronization. The author also published several papers on the subject: http://www.cis.upenn.edu/~bcpierce/papers/index.shtml#File%20Synchronization http://www.cis.upenn.edu/~bcpierce/papers/index.shtml#File%2...