mailing-list for TeXmacs Users

[Frank <address@hidden>]

This could also be done as follows:

Edit → Preferences → Convert → Pdf → Expand beamer slides, as described in 
the Manual:

> ∗  Expanded means that folds of all kinds are “flattened” out before they are 
> exported. This is useful if you intend the resulting PDF file to be 
> distributed and printed, since it will have exactly as many pages as slides 
> your presentation.

Best wishes,
Frank

On 3/12/22, Daniel Panazzolo wrote:
> I found that
>
> Dynamic -> Expand -> Change Tags
>
> will do what I wanted.
>
>
> Daniel