7 <src-package-dtd|header-book|1.0|header|1.0>
13 <src-copyright|1998--2004|Joris van der Hoeven>
16 This software falls under the <hlink|GNU general public
17 license, version 3 or later|$TEXMACS_PATH/LICENSE>.
18 It comes WITHOUT ANY WARRANTY WHATSOEVER.
19 You should have received a copy of the license which the software.
20 If not, see <hlink|http://www.gnu.org/licenses/gpl-3.0.html|http://www.gnu.org/licenses/gpl-3.0.html>.
24 <assign|odd-page-text|<macro|s|<assign|page-odd-header|<with|font-size|0.84|<style-with|src-compact|none|<no-indent><with|font-shape|small-caps|<arg|s>><htab|5mm><quote|<page-the-page>>>>>>>
26 <assign|even-page-text|<macro|s|<assign|page-even-header|<with|font-size|0.84|<style-with|src-compact|none|<no-indent><quote|<page-the-page>><htab|5mm><with|font-shape|small-caps|<arg|s>>>>>>>
30 <assign|header-title|<macro|name|>>
32 <assign|header-author|<macro|name|>>
34 <assign|header-primary|<macro|name|nr|what|<style-with|src-compact|none|<odd-page-text|<arg|name>><even-page-text|<arg|name>><simple-page>>>>
36 <assign|header-secondary|<macro|name|nr|what|<odd-page-text|<arg|nr><space|2spc><arg|name>>>>
43 <associate|preamble|true>