On Wed, May 24, 2006 at 11:43:19AM +0200, Enrico Forestieri wrote: > Without pplatex, the dvi/ps > output would be as if you had accepted all changes.
Correction: without pplatex, the dvi/ps output would be a mess. What I said above is true when you uncheck "Show Changes in Output" *and* you have pplatex. -- Enrico
