BaseXdb/basex — pull request #558 by malamut2 (2012-08-03 13:43:25+00:00)
Title: Merge back WK synchronization fixes

@Christian: I have merged (actually: rebased) the most recent state of BaseX master into this branch, which contains all of my synchronization fixes. It was quite some work, and I'm not entirely sure I succeeded. I wish you luck with this! :)