I just installed GNU diff (version 1.5). It really is several faster than BSD diff ! I understand it supports several new features. Now, does there exist a man page for it ? Please, answer by mail. Much thanks in advance. --Philippe