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
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