File: debook

package info (click to toggle)
lout 3.10-1.1
  • links: PTS
  • area: main
  • in suites: hamm, slink
  • size: 7,580 kB
  • ctags: 939
  • sloc: ansic: 20,662; makefile: 234; sh: 59; perl: 28
file content (572 lines) | stat: -rw-r--r-- 27,189 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572

###############################################################################
#                                                                             #
#  Lout setup file                                                            #
#                                                                             #
#  This Lout setup file contains everything needed to format documents        #
#  using the following setup file configuration choice(s):                    #
#                                                                             #
#      book           Book                                                    #
#      eiffelprint    Eiffel program printing                                 #
#      diag           Diagram printing                                        #
#                                                                             #
#  It will work correctly on plain text documents as well as ordinary ones.   #
#  It was probably generated automatically from file include/master by a sed  #
#  script that selected this combination of the available choices.            #
#                                                                             #
#  Jeffrey H. Kingston                                                        #
#  24 June 1996                                                               #
#                                                                             #
###############################################################################


###############################################################################
#                                                                             #
#  @SysInclude commands for standard packages.                                #
#                                                                             #
###############################################################################

  @SysInclude { fontdefs	} # font definitions
  @SysInclude { langdefs	} # language definitions
  @SysInclude { dl		} # DocumentLayout package
  @SysInclude { bookf		} # BookLayout extension
# @SysInclude { tab		} # @Tab table formatter
# @SysInclude { eq		} # @Eq equation formatter
# @SysInclude { fig		} # @Fig advanced graphics (NOW OBSOLETE)
# @SysInclude { graph		} # @Graph graph drawing
  @SysInclude { eprint		} # @EiffelPrint
  @SysInclude { diag		} # @Diag
# @SysInclude { pas 		} # @Pas Pascal programs


###############################################################################
#                                                                             #
#  @Include command for reading personal definitions from current directory.  #
#                                                                             #
###############################################################################

  @Include { mydefs }


###############################################################################
#                                                                             #
#  The @DocumentLayout @Use clause - overall document format options.         #
#                                                                             #
###############################################################################

@Use { @DocumentLayout
  # @InitialFont	{ Times Base 12p	} # initial font
  # @InitialBreak	{{adjust 1.2fx hyphen} @OrIfPlain {ragged 1fx nohyphen}}
  # @InitialSpace	{ lout			} # initial space style
  # @InitialLanguage	{ English		} # initial language
  # @InitialColour	{ black			} # initial colour
  # @OptimizePages	{ No			} # optimize page breaks?
  # @HeadingFont	{ Bold			} # font for @Heading
  # @ParaGap		{ 1.3vx @OrIfPlain 1f	} # gap between paragraphs
  # @ParaIndent		{ 2.00f	@OrIfPlain 5s	} # first-line indent for @PP
  # @DisplayGap		{ 1.00v	@OrIfPlain 1f	} # gap above, below displays
  # @DisplayIndent	{ 2.00f	@OrIfPlain 5s	} # @IndentedDisplay indent
  # @DefaultIndent	{ 0.5rt			} # @Display indent
  # @DisplayNumStyle	{ (num)			} # style of display numbers
  # @WideIndent		{ 4.00f	@OrIfPlain 10s	} # @WideTaggedList indent
  # @VeryWideIndent	{ 8.00f	@OrIfPlain 20s	} # @VeryWideTaggedList indent
  # @ListGap		{ 1.00v	@OrIfPlain 1f	} # gap between list items
  # @ListIndent		{ 0s			} # indent of list items
  # @ListRightIndent	{ 0s			} # right indent of list items
  # @ListLabelWidth	{ 2.00f	@OrIfPlain 5s	} # width allowed for list tags
  # @NumberSeparator	{ .			} # separates nums like 2.3.7
  # @PageType		{ A4	@OrIfPlain Other} # page type (width, height)
  # @PageWidth		{ 80s			} # page width if type Other
  # @PageHeight		{ 66f			} # page height if type Other
  # @PageOrientation	{ Portrait		} # Portrait, Landscape, etc.
  # @PageBackground	{  			} # background of each page
  # @TopMargin		{ 2.5c	@OrIfPlain 6f	} # top margin of all pages
  # @FootMargin		{ 2.5c	@OrIfPlain 6f	} # bottom margin of all pages
  # @OddLeftMargin	{ 2.5c	@OrIfPlain 10s	} # left margin of odd pages
  # @OddRightMargin	{ 2.5c	@OrIfPlain 10s	} # right margin of odd pages
  # @EvenLeftMargin	{ 2.5c	@OrIfPlain 10s	} # left margin of even pages
  # @EvenRightMargin	{ 2.5c	@OrIfPlain 10s	} # right margin of even pages
  # @PageBoxType	{ None			} # None Box CurveBox ShadowBox
  # @PageBoxMargin	{ 1.00c			} # page box margin
  # @PageBoxLineWidth	{			} # page box line thickness
  # @PageBoxPaint	{ none			} # page box paint
  # @PageBoxShadow	{ 0.60c			} # shadow margin if ShadowBox
  # @ColumnNumber	{ 1			} # number of columns (1 to 10)
  # @ColumnGap		{ 1.00c	@OrIfPlain 6s	} # column gap
  # @FigureLocation	{ PageTop		} # default figure location
  # @TableLocation	{ PageTop		} # default table location
  # @FigureFormat	{ @CC @Body		} # default figure format
  # @TableFormat	{ @CC @Body		} # default table format
  # @FigureWord		{ figure		} # "Figure" word else anything
  # @TableWord		{ table			} # "Table" word else anything
  # @FigureNumbers	{ Arabic		} # method of numbering figures
  # @TableNumbers	{ Arabic		} # method of numbering tables
  # @FigureCaptionPos	{ Below 		} # Above or Below
  # @TableCaptionPos	{ Below			} # Above or Below
  # @CaptionFont        {                       } # figure, table caption font
  # @CaptionBreak       {                       } # figure, table caption break
  # @CaptionFormat      { @B { number @DotSep @OneCol }	} # figure, table caption format
  # @MakeFigureContents { No                    } # list of figures at start
  # @MakeTableContents  { No                    } # list of tables at start
  # @MakeContents	{ No			} # make contents? Yes or No
    @MakeContents	{ Yes			} # make contents? Yes or No
  # @ContentsGap	{ 0.20v	@OrIfPlain 0f	} # extra gap above minor entry
  # @ContentsGapAbove	{ 0.80v	@OrIfPlain 1f	} # extra gap above major entry
  # @ContentsGapBelow	{ 0.00v	@OrIfPlain 0f	} # extra gap below major entry
  # @ContentsFormat	{ number @DotSep title	} # contents entry format
  # @ContentsLeader	{ ..			} # leader symbol in contents
  # @ContentsLeaderGap	{ 4s	@OrIfPlain 2s	} # gap between leaders
  # @ContentsRightWidth	{ 3f	@OrIfPlain 6s	} # page numbers column width
  # @MakeReferences	{ Yes			} # make references? Yes or No
  # @RefCiteStyle	{ [cite]		} # citation style
  # @RefCiteLabels	{ @RefNum		} # citation items
  # @RefNumbers		{ Arabic		} # reference numbers
  # @RefListFormat	{ Labels		} # NoLabels, Labels, etc.
  # @RefListLabels	{ [@RefNum]		} # ref list label format
  # @RefListTitle	{ references		} # title of reference list
  # @ChapRefListTitle	{ references		} # title of chapter ref list
  # @RefListIndent	{ 0s			} # indent to left of labels
  # @RefListRightIndent	{ 0s			} # indent to right of items
  # @RefListGap		{ 1.00v	@OrIfPlain 1f	} # gap between ref list items
  # @RefListFont	{        		} # font used in reference list
  # @RefListBreak	{        		} # break style of ref list
  # @RefListLabelWidth 	{ 2.00f	@OrIfPlain 5s	} # Labels column width
  # @RefListSortKey	{ @Tag			} # sorting key
  # @MakeIndex		{ No			} # make index? Yes or No
    @MakeIndex		{ Yes			} # make index? Yes or No
  # @IndexFont		{			} # index entries font
  # @IndexBreak		{ {oragged 1.2fx} @OrIfPlain {oragged 1fx} } # and break
  # @IndexColumnNumber	{ 2			} # index columns (1 to 10)
  # @IndexColumnGap	{ 1.00c	@OrIfPlain 6s	} # index column gap
  # @MakeIndexA		{ No 			} # make index A? Yes or No
  # @IndexAFont		{			} # index A entries font
  # @IndexABreak	{ {oragged 1.2fx} @OrIfPlain {oragged 1fx} } # and break
  # @IndexAColumnNumber	{ 2			} # index A columns (1 to 10)
  # @IndexAColumnGap	{ 1.00c	@OrIfPlain 6s	} # index A column gap
  # @MakeIndexB		{ No 			} # make index B? Yes or No
  # @IndexBFont		{			} # index B entries font
  # @IndexBBreak	{ {oragged 1.2fx} @OrIfPlain {oragged 1fx} } # and break
  # @IndexBColumnNumber	{ 2			} # index B columns (1 to 10)
  # @IndexBColumnGap	{ 1.00c	@OrIfPlain 6s	} # index B column gap
  # @TopGap		{ 0.75c	@OrIfPlain 2f	} # gap between figures
  # @MidGap		{ 0.75c	@OrIfPlain 2f	} # gap above/below body text
  # @FootNoteNumbers	{ Arabic		} # footnote numbers
  # @FootNoteThrough	{ No			} # numbered through chapter?
  # @FootNoteLocation	{ ColFoot		} # where the footnote appears
  # @FootNoteFont	{ 0.80f			} # font for footnotes
  # @FootNoteBreak	{ 1.2fx	@OrIfPlain 1fx	} # break for footnotes
  # @FootLen		{ 2.00c	@OrIfPlain 10s	} # length of footnote line
  # @FootAboveGap	{ 1.00v			} # gap above footnote line
  # @FootGap		{ 0.20c	@OrIfPlain 1fx	} # gap between footnotes
  # @MarginNoteFont	{ 0.80f			} # font of margin notes
  # @MarginNoteBreak	{ ragged 1.10fx		} # break style of margin notes
  # @MarginNoteHGap	{ 0.5c   		} # horizontal gap to notes
  # @MarginNoteVGap	{ 1.00v  		} # min vertical gap between
  # @MarginNoteWidth	{ 1.50c  		} # width of margin notes
  # @EndNoteNumbers	{ Arabic		} # endnote numbers
  # @EndNoteFont	{ 0.80f			} # font of endnotes
  # @EndNoteBreak	{ 1.2fx	@OrIfPlain 1fx	} # break for endnotes
  # @EndNoteGap		{ 0.20c	@OrIfPlain 1f	} # gap between endnotes
  # @TheoremWord	{ theorem		} # "Theorem" word, etc.
  # @DefinitionWord	{ definition		} # "Definition" word, etc.
  # @ClaimWord		{ claim			} # "Claim" word, etc.
  # @PropositionWord	{ proposition		} # "Proposition" word, etc.
  # @LemmaWord		{ lemma			} # "Lemma" word, etc.
  # @CorollaryWord	{ corollary		} # "Corollary" word, etc.
  # @ExampleWord	{ example		} # "Example" word, etc.
  # @ProofWord		{ proof			} # "Proof" word, etc.
  # @PageHeaders	{ Simple		} # None Simple Titles NoTitles
    @PageHeaders	{ Titles		} # None Simple Titles NoTitles
  # @PageNumbers	{ Arabic		} # page numbers
  # @FirstPageNumber	{ 1			} # number of first page 
  # @IntroPageNumbers	{ Roman			} # intro page numbers
  # @IntroFirstPageNumber{ 1			} # number of first intro page 
  # @StructPageNums	{ No			} # make structured page numbers

  # @OddTop		{ @Centre{- @PageNum -}	} # Simple page headers
  # @OddFoot		{ @Null			}
  # @EvenTop		{ @Centre{- @PageNum -}	}
  # @EvenFoot		{ @Null			}
  # @StartOddTop	{ @Null			}
  # @StartOddFoot	{ @Null			}
  # @StartEvenTop	{ @Null			}
  # @StartEvenFoot	{ @Null			}
  # @IntroOddTop	{ @Null			}
  # @IntroOddFoot	{ @Null			}
  # @IntroEvenTop	{ @Null			}
  # @IntroEvenFoot	{ @Null			}
  # @IntroStartOddTop	{ @Null			}
  # @IntroStartOddFoot	{ @Null			}
  # @IntroStartEvenTop	{ @Null			}
  # @IntroStartEvenFoot	{ @Null			}

						  # Titles, NoTitles headers
  # @RunningOddTop  { @I {@MinorNum @DotSep @MinorTitle} @Right @B @PageNum }
  # @RunningOddFoot		{ @Null					}
  # @RunningEvenTop { @B @PageNum @Right @I {@MajorNum @DotSep @MajorTitle} }
  # @RunningEvenFoot		{ @Null					}
  # @RunningStartOddTop 	{ @Null					}
  # @RunningStartOddFoot	{ @Centre { Bold 0.8f } @Font @PageNum	}
  # @RunningStartEvenTop	{ @Null					}
  # @RunningStartEvenFoot	{ @Centre { Bold 0.8f } @Font @PageNum	}
  # @RunningIntroOddTop		{ @Null					}
  # @RunningIntroOddFoot	{ @Right @PageNum			}
  # @RunningIntroEvenTop	{ @Null					}
  # @RunningIntroEvenFoot	{ @PageNum				}
  # @RunningIntroStartOddTop	{ @Null					}
  # @RunningIntroStartOddFoot	{ @Null					}
  # @RunningIntroStartEvenTop	{ @Null					}
  # @RunningIntroStartEvenFoot	{ @Null					}
}


###############################################################################
#                                                                             #
#  The @BookLayout @Use clause - options specific to books.                   #
#                                                                             #
###############################################################################

@Use { @BookLayout
  # @TitlePageFont		{ Helvetica Base} # title page font (not size)
  # @SeparateIntroNumbering	{ Yes		} # separate intro page numbers
  # @ChapterStartPages		{ Any		} # Any, Odd, or Even
  # @ReferencesBeforeAppendices	{ No		} # references before appendices
  # @PrefaceWord		{ preface	} # word for "Preface"
  # @ContentsWord		{ contents	} # word for "Contents"
  # @FigureListWord		{ figurelist	} # word for "List of Figures"
  # @TableListWord		{ tablelist	} # word for "List of Tables"
  # @IntroductionWord		{ introduction	} # word for "Introduction"
  # @ChapterWord		{ chapter	} # word for "Chapter"
  # @AppendixWord		{ appendix	} # word for "Appendix"
  # @IndexWord			{ index		} # word for "Index"
  # @IndexAWord			{ index		} # word for "Index" (A)
  # @IndexBWord			{ index		} # word for "Index" (B)
  # @ChapterNumbers		{ Arabic	} # kind of chapter numbers
  # @FirstChapterNumber		{ 1		} # first chapter number (Arabic)
  # @SectionNumbers		{ Arabic	} # kind of section numbers
  # @FirstSectionNumber		{ 1		} # first section number (Arabic)
  # @SubSectionNumbers		{ Arabic	} # kind of subsection numbers
  # @FirstSubSectionNumber	{ 1		} # first subsect number (Arabic)
  # @SubSubSectionNumbers	{ Arabic	} # kind of sub-subs. numbers
  # @FirstSubSubSectionNumber	{ 1		} # first sub-sub number (Arabic)
  # @AppendixNumbers		{ UCAlpha	} # kind of appendix numbers
  # @FirstAppendixNumber	{ 1		} # first appendix num (Arabic)
  # @SubAppendixNumbers		{ Arabic	} # kind of subappendix numbers
  # @FirstSubAppendixNumber	{ 1		} # first sub-app num (Arabic)
  # @SubSubAppendixNumbers	{ Arabic	} # kind of sub-subapp. numbers
  # @FirstSubSubAppendixNumber	{ 1		} # first sub-sub num (Arabic)
  # @PartHeadingFont		{ Helvetica Base 2.50f	} # part head font
  # @PartHeadingBreak		{ clines 1.2fx nohyphen	} # part head break
  # @PartHeadingFormat          { @CD number @DP @CD title } # part head format
  # @ChapterHeadingFont		{ Bold 2.00f		} # chapter head font
  # @ChapterHeadingBreak	{ ragged 1.2fx nohyphen	} # chapter head break
  # @ChapterHeadingFormat	{ number @DotSep title	} # format of chap. head
  # @SectionHeadingFont		{ Bold			} # section head font
  # @SectionHeadingBreak	{ ragged 1.2fx nohyphen	} # section head break
  # @SectionHeadingFormat	{ number @DotSep title	} # section head fmt
  # @SubSectionHeadingFont	{ Bold			} # subs. head font
  # @SubSectionHeadingBreak	{ ragged 1.2fx nohyphen	} # subs. head break
  # @SubSectionHeadingFormat	{ number @DotSep title	} # subs. head fmt
  # @SubSubSectionHeadingFont	{ Slope			} # sub-subs. head font
  # @SubSubSectionHeadingBreak	{ ragged 1.2fx nohyphen	} # sub-subs. head break
  # @SubSubSectionHeadingFormat	{ number @DotSep title	} # sub-subs. head fmt
  # @AppendixHeadingFont	{ Bold 2.00f		} # appendix head font
  # @AppendixHeadingBreak	{ ragged 1.2fx nohyphen	} # appendix head break
  # @AppendixHeadingFormat	{ number @DotSep title	} # appendix head fmt
  # @SubAppendixHeadingFont	{ Bold			} # subapp. head font
  # @SubAppendixHeadingBreak	{ ragged 1.2fx nohyphen	} # subapp. head break
  # @SubAppendixHeadingFormat	{ number @DotSep title	} # subapp. head fmt
  # @SubSubAppendixHeadingFont	{ Slope			} # sub-suba. head font
  # @SubSubAppendixHeadingBreak	{ ragged 1.2fx nohyphen	} # sub-suba. head break
  # @SubSubAppendixHeadingFormat{ number @DotSep title	} # sub-suba. head fmt
  # @AbovePartGap		{ 4.00f			} # gap above part title
  # @AboveChapterGap		{ 3.00f			} # above major titles
  # @SectionGap			{ 2.0v	@OrIfPlain 3f	} # between sections
  # @SubSectionGap		{ 1.5v	@OrIfPlain 2f	} # between subsects
  # @SubSubSectionGap		{ 1.5v	@OrIfPlain 2f	} # between sub-subs.
  # @SubAppendixGap		{ 2.0v	@OrIfPlain 3f	} # between subappendices
  # @SubSubAppendixGap		{ 1.5v	@OrIfPlain 2f	} # between sub-subapps
  # @IntroductionInContents	{ Yes		} # add introduction to contents
  # @PartInContents		{ Yes		} # add parts to contents
  # @ChapterInContents		{ Yes		} # add chapters to contents
  # @SectionInContents		{ Yes		} # add sections to contents
  # @SubSectionInContents	{ Yes		} # add subsections to contents
  # @SubSubSectionInContents	{ No		} # add sub-subsects to contents
  # @AppendixInContents		{ Yes		} # add appendices to contents
  # @SubAppendixInContents	{ Yes		} # add subappendices to contents
  # @SubSubAppendixInContents	{ No		} # add sub-subapps to contents
  # @ReferencesInContents	{ Yes		} # add ref. section to contents
  # @IndexInContents		{ Yes		} # add index to contents
  # @IndexAInContents		{ Yes		} # add index A to contents
  # @IndexBInContents		{ Yes		} # add index B to contents
  # @PartContentsIndent         { 0.5rt		} # indent of part contents entry
  # @ChapterNumInTheorems	{ Yes		} # theorem num has chapter num
  # @SectionNumInTheorems	{ No		} # theorem num has section num
  # @SubSectionNumInTheorems	{ No		} # theorem num has subsect num
  # @SubSubSectionNumInTheorems	{ No		} # theorem num has sub-ss. num
  # @AppendixNumInTheorems	{ Yes		} # theorem num has appendix num
  # @SubAppendixNumInTheorems	{ No		} # theorem num has sub-app num
  # @SubSubAppendixNumInTheorems{ No		} # theorem num has sub-sa. num
  # @ChapterNumInDisplays	{ Yes		} # display num has chapter num
  # @SectionNumInDisplays	{ Yes		} # display num has section num
  # @SubSectionNumInDisplays	{ No		} # display num has subsect num
  # @SubSubSectionNumInDisplays	{ No		} # display num has sub-ss. num
  # @AppendixNumInDisplays	{ Yes		} # display num has appendix num
  # @SubAppendixNumInDisplays	{ Yes		} # display num has sub-app num
  # @SubSubAppendixNumInDisplays{ No		} # display num has sub-sa. num
  # @ChapterNumInFigures	{ Yes		} # figure num has chapter num
  # @SectionNumInFigures	{ No		} # figure num has section num
  # @SubSectionNumInFigures	{ No		} # figure num has subsect num
  # @SubSubSectionNumInFigures	{ No		} # figure num has sub-ss. num
  # @AppendixNumInFigures	{ Yes		} # figure num has appendix num
  # @SubAppendixNumInFigures	{ No		} # figure num has sub-app num
  # @SubSubAppendixNumInFigures	{ No		} # figure num has sub-sa. num
  # @ChapterNumInTables		{ Yes		} # table num has chapter num
  # @SectionNumInTables		{ No		} # table num has section num
  # @SubSectionNumInTables	{ No		} # table num has subsect num
  # @SubSubSectionNumInTables	{ No		} # table num has sub-ss. num
  # @AppendixNumInTables	{ Yes		} # table num has appendix num
  # @SubAppendixNumInTables	{ No		} # table num has sub-app num
  # @SubSubAppendixNumInTables	{ No		} # table num has sub-sa. num
  # @SectionNumInRunners 	{ Yes		} # runners have section num
  # @SubSectionNumInRunners 	{ No		} # runners have subsect num
  # @SubSubSectionNumInRunners 	{ No		} # runners have sub-ss. num
  # @SubAppendixNumInRunners 	{ Yes		} # runners have sub-app num
  # @SubSubAppendixNumInRunners { No		} # runners have sub-sa. num
  # @PrefacePrefix		{		} # for structured page nums
  # @ContentsPrefix		{		} # for structured page nums
  # @FigureContentsPrefix	{		} # for structured page nums
  # @TableContentsPrefix	{		} # for structured page nums
  # @IntroductionPrefix		{		} # for structured page nums
  # @ChapterPrefix		{		} # for structured page nums
  # @AppendixPrefix		{		} # for structured page nums
  # @ReferencesPrefix		{		} # for structured page nums
  # @IndexPrefix		{		} # for structured page nums
  # @IndexAPrefix		{		} # for structured page nums
  # @IndexBPrefix		{		} # for structured page nums
}


###############################################################################
#                                                                             #
#  The @EiffelPrint @Use clause - options specific to Eiffel program prints.  #
#                                                                             #
###############################################################################

@Use { @EiffelPrint
  # style		{ varying @OrIfPlain fixed } # fixed, varying, or symbol

  # fixedfont		{ Courier		} # font family if fixed
  # fixedstrings	{ Base			} # string face if fixed
  # fixedidentifiers	{ Base			} # identifier face if fixed
  # fixedcomments	{ Base			} # comment face if fixed
  # fixedkeywords	{ Base			} # keyword face if fixed
  # fixednumbers	{ Base			} # number face if fixed
  # fixedoperators	{ Base			} # operator face if fixed
  # fixedsize		{ -1.0p			} # font size if fixed
  # fixedline		{ 1.0vx			} # line-space if fixed
  # fixedtabin		{ 8			} # tab interval if fixed
  # fixedtabout		{ 8s			} # tab width if fixed

  # varyingfont		{			} # font family if varying
  # varyingstrings	{ Slope			} # string face if varying
  # varyingidentifiers	{ Slope			} # identifier face if varying
  # varyingcomments	{ Base			} # comment face if varying
  # varyingkeywords	{ Bold			} # keyword face if varying
  # varyingnumbers	{ Base			} # number face if varying
  # varyingoperators	{ Base			} # operator face if varying
  # varyingsize		{ 1.0f			} # font size if varying
  # varyingline		{ 1.0vx			} # line-space if varying
  # varyingtabin	{ 8			} # tab interval if varying
  # varyingtabout	{ 3f			} # tab width if varying

  # symbolfont		{			} # font family if symbol
  # symbolstrings	{ Slope			} # string face if symbol
  # symbolidentifiers	{ Slope			} # identifier face if symbol
  # symbolcomments	{ Base			} # comment face if symbol
  # symbolkeywords	{ Bold			} # keyword face if symbol
  # symbolnumbers	{ Base			} # number face if symbol
  # symboloperators	{ Base			} # operator face if symbol
  # symbolsize		{ 1.0f			} # font size if symbol
  # symbolline		{ 1.0vx			} # line-space if symbol
  # symboltabin		{ 8			} # tab interval if symbol
  # symboltabout	{ 3f			} # tab width if symbol
}


###############################################################################
#                                                                             #
#  The @DiagramPrint @Use clause - options specific to diagram printing.      #
#                                                                             #
###############################################################################

@Use { @DiagramPrint
  # save		{ no			}
  # maxlabels		{ 200			}
  # outline		{ box			}
  # margin		{ 0.6f			}
  # shadow		{ 0.4f			}
  # sides		{ 3			}
  # angle		{ "dup 180 exch div"	}  # 180d / sides
  # translate		{			}
  # outlinestyle	{ solid			}
  # outlinedashlength	{ 0.2f			}
  # outlinewidth	{ 0.02f			}
  # paint		{ nopaint		}
  # font		{			}
  # break		{			}
  # format		{ @Body			}
  # valign		{ ctr			}
  # vsize		{			}
  # vindent		{ ctr			}
  # vstrut		{ no			}
  # vmargin		{			}
  # topmargin		{			}
  # footmargin		{			}
  # halign		{ ctr			}
  # hsize              	{			}
  # hindent		{ ctr			}
  # hstrut		{ no			}
  # hmargin		{			}
  # leftmargin		{			}
  # rightmargin		{			}
  # nodelabel		{			}
  # nodelabelmargin	{ 0.2f			}
  # nodelabelfont	{ "-2p"			}
  # nodelabelbreak	{ ragged nohyphen	}
  # nodelabelformat	{ @Body			}
  # nodelabelpos	{			}
  # nodelabelprox	{ outside		}
  # nodelabelangle	{ horizontal		}
  # nodelabelctr	{ no			}
  # nodelabeladjust	{ 0 0			}
  # alabel		{			}
  # alabelmargin	{			}
  # alabelfont		{			}
  # alabelbreak		{			}
  # alabelformat	{			}
  # alabelpos		{ NE			}
  # alabelprox		{			}
  # alabelangle		{			}
  # alabelctr		{ 			}
  # alabeladjust	{			}
  # blabel		{			}
  # blabelmargin	{			}
  # blabelfont		{			}
  # blabelbreak		{			}
  # blabelformat	{			}
  # blabelpos		{ NW			}
  # blabelprox		{			}
  # blabelangle		{			}
  # blabelctr		{ 			}
  # blabeladjust	{			}
  # clabel		{			}
  # clabelmargin	{			}
  # clabelfont		{			}
  # clabelbreak		{			}
  # clabelformat	{			}
  # clabelpos		{ SW			}
  # clabelprox		{			}
  # clabelangle		{			}
  # clabelctr		{ 			}
  # clabeladjust	{			}
  # dlabel		{			}
  # dlabelmargin	{			}
  # dlabelfont		{			}
  # dlabelbreak		{			}
  # dlabelformat	{			}
  # dlabelpos		{ SE			}
  # dlabelprox		{			}
  # dlabelangle		{			}
  # dlabelctr		{ 			}
  # dlabeladjust	{			}
  # path		{ line			}
  # from		{ 0, 0			}
  # to			{ 1, 1			}
  # bias		{ 2.0f			}
  # fbias		{ 2.0f			}
  # tbias		{ 2.0f			}
  # radius		{ 1.0f			}
  # xindent		{ 0.8f			}
  # zindent		{ 0.8f			}
  # pathstyle		{ solid			}
  # pathdashlength	{ 0.2f			}
  # pathwidth		{ 0.02f			}
  # arrow		{ no			}
  # arrowstyle		{ solid			}
  # arrowwidth		{ 0.45f			}
  # arrowlength		{ 0.6f			}
  # linklabel		{			}
  # linklabelmargin	{ 0.2f			}
  # linklabelfont	{ "-2p"			}
  # linklabelbreak	{ ragged nohyphen	}
  # linklabelformat	{ @Body			}
  # linklabelpos	{			}
  # linklabelprox	{ above			}
  # linklabelangle	{ horizontal		}
  # linklabelctr	{ no			}
  # linklabeladjust	{ 0 0			}
  # xlabel		{			}
  # xlabelmargin	{			}
  # xlabelfont		{			}
  # xlabelbreak		{			}
  # xlabelformat	{			}
  # xlabelpos		{ LFROM			}
  # xlabelprox		{			}
  # xlabelangle		{			}
  # xlabelctr		{			}
  # xlabeladjust	{			}
  # ylabel		{			}
  # ylabelmargin	{			}
  # ylabelfont		{			}
  # ylabelbreak		{			}
  # ylabelformat	{			}
  # ylabelpos		{ LMID			}
  # ylabelprox		{			}
  # ylabelangle		{			}
  # ylabelctr		{ yes			}
  # ylabeladjust	{			}
  # zlabel		{			}
  # zlabelmargin	{			}
  # zlabelfont		{			}
  # zlabelbreak		{			}
  # zlabelformat	{			}
  # zlabelpos		{ LTO			}
  # zlabelprox		{			}
  # zlabelangle		{			}
  # zlabelctr		{			}
  # zlabeladjust	{			}
  # fromlabel		{			}
  # fromlabelmargin	{ 0f			}
  # fromlabelfont	{ "-2p"			}
  # fromlabelbreak	{ ragged nohyphen	}
  # fromlabelformat	{ @Body			}
  # fromlabelpos	{ FROM			}
  # fromlabelprox	{ E			}
  # fromlabelangle	{ antiparallel		}
  # fromlabelctr	{ no			}
  # fromlabeladjust	{ 0 0			}
  # tolabel		{			}
  # tolabelmargin	{ 0f			}
  # tolabelfont		{ "-2p"			}
  # tolabelbreak	{ ragged nohyphen	}
  # tolabelformat	{ @Body			}
  # tolabelpos		{ TO			}
  # tolabelprox		{ E			}
  # tolabelangle	{ parallel		}
  # tolabelctr		{ no			}
  # tolabeladjust	{ 0 0			}
  # treehsep		{ 0.5f			}
  # treevsep		{ 0.5f			}
  # treehindent		{ ctr			}
  # treevindent		{ ctr			}
}


###############################################################################
#                                                                             #
#  @Database (and @SysDatabase) clauses go here.                              #
#                                                                             #
###############################################################################

@SysDatabase @RefStyle { refstyle }		  # reference printing styles