Fix #14: Duplicate functionality in @@history and version_diff.pt.

Now version_diff is deprecated.