Interactive front-end to diff(1)
