Did you know ... | Search Documentation: |
Predicate section_comment_header/3 |
section(Type, Title)
, where Title is an atom holding the
section title and Type is an atom holding the text between <>.
Lines | - List of Indent-Codes. |
Header | - DOM term of the format \section(Type, Title) ,
where Type is an atom from <type> and Title is
a string holding the type. |