DocEditor是一个实现两个文本之间进行比较并标识内容不同之处的软件。