Does anyone know of any tools that can automatically compare two latex
documents and produce another with change-bars?