Hello List, I want to highlight a PDF proof: is there any tool (distributed within Debian) which allows to do so? Thanks in advance, Jerome -- Jerome BENOIT jgmbenoit_at_mailsnare_dot_net