>>>>> "michael" == michael schmitt <[EMAIL PROTECTED]> writes:
michael> Jean-Marc Lasgouttes <[EMAIL PROTECTED]> schrieb michael> am 08.10.2002, 11:35:28: >> As far as I know, there are not many things that are easy enough to >> backport. Do you have something in mind? michael> I don't know exactly as I have not followed the 1.3.0 michael> development in all its details. How about the problem with michael> graphics that are not updated correctly when changed on disk? >From what I remember, making sure that the dvi output is correct is not too difficult, but having the screen update is more complicated. I have yet to see a patch, anyway (and I am not going to do it myself). JMarc
