2014-05-15 21:56 GMT+02:00 Georg Baum:

> IMHO we should
> never try to interpret ERT.
>

In the beamer case, it was necessary, since old ERT arguments cease to work
due to the redefinitions.

Jürgen

Reply via email to