annotate scripts/control/OCSTreport @ 4939:22388c7625a0

[project @ 2004-08-10 04:33:51 by jwe]
author jwe
date Tue, 10 Aug 2004 04:33:51 +0000
parents 46b82fca02fc
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3280
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
1
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
2 ###############################################################################
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
3 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
4 # report #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
5 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
6 # Lout setup file for technical reports. #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
7 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
8 # Jeffrey H. Kingston #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
9 # 12 September 1994 #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
10 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
11 ###############################################################################
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
12
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
13
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
14 ###############################################################################
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
15 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
16 # @SysInclude commands for standard packages. #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
17 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
18 ###############################################################################
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
19
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
20 @SysInclude { fontdefs } # font definitions
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
21 @SysInclude { langdefs } # language definitions
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
22 @SysInclude { dl } # DocumentLayout package
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
23 @SysInclude { reportf } # ReportLayout extension
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
24 @SysInclude { tab } # @Tab table formatter
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
25 # @SysInclude { eq } # @Eq equation formatter
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
26 # @SysInclude { fig } # @Fig advanced graphics
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
27 # @SysInclude { graph } # @Graph graph drawing
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
28 # @SysInclude { cprint } # @CPrint C and C++ programs
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
29 # @SysInclude { pas } # @Pas Pascal programs
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
30
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
31
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
32 ###############################################################################
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
33 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
34 # @Include command for reading personal definitions from current directory. #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
35 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
36 ###############################################################################
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
37
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
38 @Include { mydefs }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
39
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
40
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
41 ###############################################################################
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
42 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
43 # The @DocumentLayout @Use clause - overall document format options. #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
44 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
45 ###############################################################################
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
46
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
47 @Use { @DocumentLayout
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
48 # @InitialFont { Times Base 12p } # initial font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
49 # @InitialBreak { adjust 1.20fx hyphen } # initial break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
50 # @InitialSpace { lout } # initial space style
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
51 # @InitialLanguage { English } # initial language
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
52 # @InitialColour { black } # initial colour
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
53 # @OptimizePages { No } # optimize page breaks?
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
54 # @HeadingFont { Bold } # font for @Heading
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
55 # @ParaGap { 1.30vx } # gap between paragraphs
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
56 # @ParaIndent { 2.00f } # first-line indent for @PP
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
57 # @DisplayGap { 1.00v } # gap above, below displays
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
58 # @DisplayIndent { 2.00f } # @IndentedDisplay indent
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
59 # @DefaultIndent { 0.5rt } # @Display indent
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
60 # @DisplayNumStyle { (num) } # style of display numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
61 # @WideIndent { 4.00f } # @WideTaggedList indent
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
62 # @VeryWideIndent { 8.00f } # @VeryWideTaggedList indent
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
63 # @ListGap { 1.00v } # gap between list items
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
64 # @ListIndent { 0c } # indent of list items
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
65 # @ListRightIndent { 0c } # right indent of list items
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
66 # @ListLabelWidth { 2.00f } # width allowed for list tags
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
67 @PageType { A4 } # page type (width, height)
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
68 # @PageType { Letter } # page type (width, height)
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
69 # @PageWidth { } # page width if type Other
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
70 # @PageHeight { } # page height if type Other
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
71 # @PageOrientation { Portrait } # Portrait, Landscape, etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
72 # @PageBackground { } # background of each page
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
73 # @TopMargin { 2.50c } # top margin of all pages
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
74 # @FootMargin { 2.50c } # bottom margin of all pages
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
75 # @OddLeftMargin { 2.50c } # left margin of odd pages
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
76 # @OddRightMargin { 2.50c } # right margin of odd pages
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
77 # @EvenLeftMargin { 2.50c } # left margin of even pages
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
78 # @EvenRightMargin { 2.50c } # right margin of even pages
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
79 # @PageBoxType { None } # None Box CurveBox ShadowBox
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
80 # @PageBoxMargin { 1.00c } # page box margin
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
81 # @PageBoxLineWidth { } # page box line thickness
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
82 # @PageBoxPaint { none } # page box paint
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
83 # @PageBoxShadow { 0.60c } # shadow margin if ShadowBox
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
84 # @ColumnNumber { 1 } # number of columns (1 to 10)
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
85 # @ColumnGap { 1.00c } # column gap
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
86 # @FigureLocation { PageTop } # default figure location
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
87 # @TableLocation { PageTop } # default table location
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
88 # @FigureWord { figure } # "Figure" word else anything
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
89 # @TableWord { table } # "Table" word else anything
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
90 # @FigureNumbers { Arabic } # method of numbering figures
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
91 # @TableNumbers { Arabic } # method of numbering tables
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
92 # @FigureCaptionPos { Below } # Above or Below
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
93 # @TableCaptionPos { Below } # Above or Below
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
94 # @CaptionFont { } # figure, table caption font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
95 # @CaptionBreak { } # figure, table caption break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
96 # @MakeFigureContents { No } # list of figures at start
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
97 # @MakeTableContents { No } # list of tables at start
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
98 # @MakeContents { No } # make contents? Yes or No
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
99 # @ContentsGap { 0.20v } # extra gap above minor entry
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
100 # @ContentsGapAbove { 0.80v } # extra gap above major entry
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
101 # @ContentsGapBelow { 0.00v } # extra gap below major entry
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
102 # @ContentsLeader { .. } # leader symbol in contents
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
103 # @ContentsLeaderGap { 4s } # gap between leaders
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
104 # @ContentsRightWidth { 3f } # page numbers column width
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
105 # @MakeReferences { Yes } # make references? Yes or No
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
106 # @RefCiteStyle { [cite] } # citation style
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
107 # @RefCiteLabels { @RefNum } # citation items
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
108 # @RefNumbers { Arabic } # reference numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
109 # @RefListFormat { Labels } # NoLabels, Labels, etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
110 # @RefListLabels { [@RefNum] } # ref list label format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
111 # @RefListTitle { references } # title of reference list
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
112 # @ChapRefListTitle { references } # title of chapter ref list
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
113 # @RefListIndent { 0c } # indent to left of labels
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
114 # @RefListRightIndent { 0c } # indent to right of items
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
115 # @RefListGap { 1.00v } # gap between ref list items
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
116 # @RefListFont { } # font used in reference list
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
117 # @RefListBreak { } # break style of ref list
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
118 # @RefListLabelWidth { 2.00f } # Labels column width
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
119 # @RefListSortKey { @Tag } # sorting key
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
120 # @MakeIndex { No } # make index? Yes or No
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
121 # @IndexFont { } # index entries font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
122 # @IndexBreak { outdent 1.2fx } # index entries break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
123 # @IndexColumnNumber { 2 } # index columns (1 to 10)
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
124 # @IndexColumnGap { 1.00c } # index column gap
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
125 # @MakeIndexA { No } # make index A? Yes or No
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
126 # @IndexAFont { } # index A entries font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
127 # @IndexABreak { outdent 1.2fx } # index A entries break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
128 # @IndexAColumnNumber { 2 } # index A columns (1 to 10)
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
129 # @IndexAColumnGap { 1.00c } # index A column gap
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
130 # @MakeIndexB { No } # make index B? Yes or No
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
131 # @IndexBFont { } # index B entries font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
132 # @IndexBBreak { outdent 1.2fx } # index B entries break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
133 # @IndexBColumnNumber { 2 } # index B columns (1 to 10)
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
134 # @IndexBColumnGap { 1.00c } # index B column gap
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
135 # @IndexFont { } # index entries font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
136 # @IndexBreak { outdent 1.2fx } # index entries break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
137 # @IndexColumnNumber { 2 } # index columns (1 to 10)
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
138 # @IndexColumnGap { 1.00c } # index column gap
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
139 # @TopGap { 0.75c } # gap between figures
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
140 # @MidGap { 0.75c } # gap above/below body text
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
141 # @FootNoteNumbers { Arabic } # footnote numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
142 # @FootNoteThrough { No } # numbered through chapter?
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
143 # @FootNoteLocation { ColFoot } # where the footnote appears
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
144 # @FootNoteFont { 0.80f } # font for footnotes
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
145 # @FootNoteBreak { 1.20fx } # break for footnotes
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
146 # @FootLen { 2.00c } # length of footnote line
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
147 # @FootAboveGap { 1.00v } # gap above footnote line
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
148 # @FootGap { 0.20c } # gap between footnotes
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
149 # @EndNoteNumbers { Arabic } # endnote numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
150 # @EndNoteFont { 0.80f } # font of endnotes
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
151 # @EndNoteBreak { 1.20fx } # break for endnotes
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
152 # @EndNoteGap { 0.20c } # gap between endnotes
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
153 # @TheoremThrough { No } # numbered through whole doc?
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
154 # @TheoremNumbers { Arabic } # theorem etc. numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
155 # @DefinitionWord { definition } # "Definition" word, etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
156 # @LemmaWord { lemma } # "Lemma" word, etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
157 # @TheoremWord { theorem } # "Theorem" word, etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
158 # @PropositionWord { proposition } # "Proposition" word, etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
159 # @CorollaryWord { corollary } # "Corollary" word, etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
160 # @ExampleWord { example } # "Example" word, etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
161 # @ClaimWord { claim } # "Claim" word, etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
162 # @ProofWord { proof } # "Proof" word, etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
163 # @MarginNoteFont { 0.80f } # font of margin notes
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
164 # @MarginNoteBreak { ragged 1.10fx } # break style of margin notes
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
165 # @MarginNoteHGap { 0.5c } # horizontal gap to notes
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
166 # @MarginNoteVGap { 1.00v } # min vertical gap between
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
167 # @MarginNoteWidth { 1.50c } # width of margin notes
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
168 # @PageHeaders { Simple } # None Simple Titles NoTitles
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
169 # @PageNumbers { Arabic } # page numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
170 # @FirstPageNumber { 1 } # number of first page
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
171 # @IntroPageNumbers { Roman } # intro page numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
172 # @IntroFirstPageNumber{ 1 } # number of first intro page
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
173
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
174 # @OddTop { @Centre{- @PageNum -} } # Simple page headers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
175 # @OddFoot { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
176 # @EvenTop { @Centre{- @PageNum -} }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
177 # @EvenFoot { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
178 # @StartOddTop { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
179 # @StartOddFoot { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
180 # @StartEvenTop { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
181 # @StartEvenFoot { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
182 # @IntroOddTop { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
183 # @IntroOddFoot { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
184 # @IntroEvenTop { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
185 # @IntroEvenFoot { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
186 # @IntroStartOddTop { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
187 # @IntroStartOddFoot { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
188 # @IntroStartEvenTop { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
189 # @IntroStartEvenFoot { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
190
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
191 # Titles, NoTitles headers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
192 # @RunningOddTop { @I {@MinorNum @DotSep @MinorTitle} @Right @B @PageNum }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
193 # @RunningOddFoot { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
194 # @RunningEvenTop { @B @PageNum @Right @I {@MajorNum @DotSep @MajorTitle} }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
195 # @RunningEvenFoot { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
196 # @RunningStartOddTop { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
197 # @RunningStartOddFoot { @Centre { Bold 0.8f } @Font @PageNum }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
198 # @RunningStartEvenTop { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
199 # @RunningStartEvenFoot { @Centre { Bold 0.8f } @Font @PageNum }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
200 # @RunningIntroOddTop { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
201 # @RunningIntroOddFoot { @Right @PageNum }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
202 # @RunningIntroEvenTop { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
203 # @RunningIntroEvenFoot { @PageNum }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
204 # @RunningIntroStartOddTop { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
205 # @RunningIntroStartOddFoot { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
206 # @RunningIntroStartEvenTop { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
207 # @RunningIntroStartEvenFoot { @Null }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
208 }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
209
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
210
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
211 ###############################################################################
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
212 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
213 # The @ReportLayout @Use clause - options specific to technical reports. #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
214 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
215 ###############################################################################
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
216
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
217 @Use { @ReportLayout
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
218 # @CoverSheet { Yes } # make cover sheet
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
219 # @DateLine { No } # Yes, No, or a date
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
220 # @ReferencesBeforeAppendices { No } # pos of ref list
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
221 # @AbstractWord { abstract } # "Abstract" word etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
222 # @ContentsWord { contents } # "Contents" word etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
223 # @AppendixWord { appendix } # "Appendix" word etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
224 # @IndexWord { index } # "Index" word etc.
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
225 # @IndexAWord { index } # "Index" word in index A
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
226 # @IndexBWord { index } # "Index" word in index B
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
227 # @SectionNumbers { Arabic } # section numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
228 # @SubSectionNumbers { Arabic } # subsection numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
229 # @SubSubSectionNumbers { Arabic } # sub-subsection numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
230 # @AppendixNumbers { UCAlpha } # appendix numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
231 # @SubAppendixNumbers { Arabic } # subappendix numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
232 # @SubSubAppendixNumbers { Arabic } # sub-subappendix numbers
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
233 # @AbstractHeadingFont { Bold } # abstract heading font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
234 # @AbstractHeadingBreak { ragged 1.2fx nohyphen } # abstract heading break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
235 # @AbstractHeadingFormat { title } # abstract heading format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
236 # @ContentsHeadingFont { Bold } # contents heading font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
237 # @ContentsHeadingBreak { ragged 1.2fx nohyphen } # contents heading break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
238 # @ContentsHeadingFormat { title } # contents heading format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
239 # @SectionHeadingFont { Bold } # section heading font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
240 # @SectionHeadingBreak { ragged 1.2fx nohyphen } # section heading break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
241 # @SectionHeadingFormat { number @DotSep title } # section heading format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
242 # @SubSectionHeadingFont { Bold } # subsection heading font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
243 # @SubSectionHeadingBreak { ragged 1.2fx nohyphen } # subsection heading break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
244 # @SubSectionHeadingFormat { number @DotSep title } # subsection heading format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
245 # @SubSubSectionHeadingFont { Slope } # sub-subsection heading font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
246 # @SubSubSectionHeadingBreak { ragged 1.2fx nohyphen } # sub-subsection heading break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
247 # @SubSubSectionHeadingFormat { number @DotSep title } # sub-subsection heading format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
248 # @AppendixHeadingFont { Bold } # appendix heading font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
249 # @AppendixHeadingBreak { ragged 1.2fx nohyphen } # appendix heading break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
250 # @AppendixHeadingFormat { number @DotSep title } # appendix heading format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
251 # @SubAppendixHeadingFont { Bold } # subappendix heading font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
252 # @SubAppendixHeadingBreak { ragged 1.2fx nohyphen } # subappendix heading break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
253 # @SubAppendixHeadingFormat { number @DotSep title } # subappendix heading format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
254 # @SubSubAppendixHeadingFont { Slope } # sub-subapp. heading font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
255 # @SubSubAppendixHeadingBreak { ragged 1.2fx nohyphen } # sub-subappendix heading break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
256 # @SubSubAppendixHeadingFormat{ number @DotSep title } # sub-subappendix heading format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
257 # @ReferencesHeadingFont { Bold } # references heading font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
258 # @ReferencesHeadingBreak { ragged 1.2fx nohyphen } # references heading break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
259 # @ReferencesHeadingFormat { title } # references heading format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
260 # @IndexHeadingFont { Bold } # index heading font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
261 # @IndexHeadingBreak { ragged 1.2fx nohyphen } # index heading break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
262 # @IndexHeadingFormat { title } # index heading format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
263 # @IndexAHeadingFont { Bold } # index A heading font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
264 # @IndexAHeadingBreak { ragged 1.2fx nohyphen } # index A heading break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
265 # @IndexAHeadingFormat { title } # index A heading format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
266 # @IndexBHeadingFont { Bold } # index B heading font
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
267 # @IndexBHeadingBreak { ragged 1.2fx nohyphen } # index B heading break
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
268 # @IndexBHeadingFormat { title } # index B heading format
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
269 # @SectionGap { 2.00v } # gap between sections
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
270 # @SubSectionGap { 1.50v } # gap between subsections
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
271 # @SubSubSectionGap { 1.50v } # gap between sub-subsections
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
272 # @AppendixGap { 2.00v } # gap between appendices
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
273 # @SubAppendixGap { 1.50v } # gap between subappendices
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
274 # @SubSubAppendixGap { 1.50v } # gap between sub-subapps
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
275 # @SectionInContents { Yes } # list sections in contents
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
276 # @SubSectionInContents { Yes } # list subsections
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
277 # @SubSubSectionInContents { No } # list sub-subsections
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
278 # @AppendixInContents { Yes } # list appendices
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
279 # @SubAppendixInContents { Yes } # list subappendices
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
280 # @SubSubAppendixInContents { No } # list sub-subappendices
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
281 # @ReferencesInContents { Yes } # list references
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
282 # @IndexInContents { Yes } # list index in contents
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
283 # @IndexAInContents { Yes } # list index A
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
284 # @IndexBInContents { Yes } # list index B
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
285 # @SectionNumInTheorems { No } # section numbers in theorems
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
286 # @SubSectionNumInTheorems { No } # subsection numbers in theorems
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
287 # @SubSubSectionNumInTheorems { No } # sub-subsection numbers in theorems
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
288 # @AppendixNumInTheorems { No } # appendix numbers in theorems
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
289 # @SubAppendixNumInTheorems { No } # subappendix numbers in theorems
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
290 # @SubSubAppendixNumInTheorems{ No } # sub-subappendix nums. in theorems
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
291 # @SectionNumInDisplays { Yes } # section numbers in displays
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
292 # @SubSectionNumInDisplays { No } # subsection numbers in displays
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
293 # @SubSubSectionNumInDisplays { No } # sub-subsection numbers in displays
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
294 # @AppendixNumInDisplays { Yes } # appendix numbers in displays
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
295 # @SubAppendixNumInDisplays { No } # subappendix numbers in displays
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
296 # @SubSubAppendixNumInDisplays{ No } # sub-subappendix nums in displays
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
297 # @SectionNumInFigures { Yes } # section number in figures
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
298 # @SubSectionNumInFigures { No } # subsection number in figures
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
299 # @SubSubSectionNumInFigures { No } # subsubsection number in figures
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
300 # @AppendixNumInFigures { Yes } # appendix number in figures
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
301 # @SubAppendixNumInFigures { No } # subappendix number in figures
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
302 # @SubSubAppendixNumInFigures { No } # sub-subappendix number in figures
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
303 # @SectionNumInTables { Yes } # section number in tables
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
304 # @SubSectionNumInTables { No } # subsection number in tables
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
305 # @SubSubSectionNumInTables { No } # subsubsection number in tables
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
306 # @AppendixNumInTables { Yes } # appendix number in tables
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
307 # @SubAppendixNumInTables { No } # subappendix number in tables
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
308 # @SubSubAppendixNumInTables { No } # sub-subappendix number in tables
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
309 }
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
310
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
311
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
312 ###############################################################################
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
313 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
314 # @Database (and @SysDatabase) clauses go here. #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
315 # #
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
316 ###############################################################################
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
317
46b82fca02fc [project @ 1999-10-12 17:04:44 by jwe]
jwe
parents:
diff changeset
318 @SysDatabase @RefStyle { refstyle } # reference printing styles