19 Jul
2008
19 Jul
'08
3:52 p.m.
On Fri, Jul 18 2008, John Devereux wrote:
Thanks, but this (your shell script) did not work well for me - there seem to be too many cases where the diff produces invalid tex code. Did you ever make an extended one?
Yes. It's attached. Cheers, Peter -- http://pmrb.free.fr/contact/