>>>>> "José" == José Matos <[EMAIL PROTECTED]> writes:
José> On Wednesday 15 January 2003 13:03, Michael Schmitt wrote: >> My conclusion is that we should suppress the import. Please find a >> patch below. >> >> Jose, could you please check the patch and commit it afterwards? José> Since Jean-Marc agrees with you (and I don't disagree ;-) I José> commited the fix. José> I agree with you when you say that we should discover when did José> the file format changed to have a real fix. But for now your fix José> is enough. :-) Are you sure that the file format ever changed in this regard? It might be that you were a bit fast when you implemented .tex preamble parsing... JMarc
