>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:

Andre> On Fri, Dec 06, 2002 at 02:32:27AM +0000, John Levon wrote:
>> Where did this come from, and why ?

Andre> Maybe my doing. 

Indeed.

Andre> Ever tried finding LaTeX errors using Error boxes that end up
Andre> miles away from the places where they are supposed to be?

Yes, but I think it will prove confusing for many people... 

Do we really want to keep it? This could also be added as a tip in the
FAQ.

JMarc

Reply via email to