mailing-list for TeXmacs Users

[Henri Lesourd <address@hidden>]

Christophe Raffalli wrote:

> Helo
>
> I have a file (attached) where the page numbers in the table of 
> content after a large file is included are never updated.
> I tried with 1.0.6.3
>
>
> Thanks,
> Christophe Raffalli
I had no problem to update the page numbers correctly in your example
file using Document->Update all (TeXmacs v. 1.0.6.9). There is no
large file included in your example document, indeed. Could you
provide a *really* buggy example, in order to be able to test things
correctly ?

Best, Henri

P.S. : I found the ideas of PML quite interesting. I'm waiting for
 your paper about that being available ;-).