>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
Andre> On Thu, Aug 29, 2002 at 12:20:08PM +0200, Jean-Marc Lasgouttes
Andre> wrote:
>> Changing that is not difficult, I just did not find time to do it.
Andre> Is this crucial or could this be done later?
It is IMO crucial that it is done before any stable release, since we
do not want to gratuitously change format. And I do not like explicit
\begin{foo} in layout files.
JMarc
