texmacs diff