[EMAIL PROTECTED] writes: | Hi, | this patch renames \the_end to \end_document. | | The objective later is to add: | \begin_document | \begin_header | \begin_body | \end_body | | The objective then is to eliminate \begin_deeper and \end_deeper, | but this requires a little more work.
Looks good to me.
but remebmer to call "end_document".
--
Lgb
