Re: [docbook] Formal vs. informal

Hi,

On Wed, 11 Dec 2013 08:24:25 -0600
David Cramer <> wrote:

> Wrt this, I've always wondered about <procedure>. Was
> <informalprocedure> just way too long? Or did it predate the
> distinction?

Probably, because a title is optional in a procedure and there is no
need for an informalprocedure? Just guessing. :) 

http://www.docbook.org/tdg/en/html/procedure.html

-- 
Gruß/Regards,
    Thomas Schraitle