On Thu, Jul 14, 2011 at 7:33 PM, Arthur Reutenauer <arthur.reutenauer at normalesup.org> wrote: >> Web2c used to / still has some possibilities to debug the format, >> but I have forgotten what it was, sorry. > > It's the -debug-format switch, see http://tex.stackexchange.com/questions/323/ Is it different from \tracingall ? -- luigi