← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to dev/ocamlweb-doc/proofs.dep.ps

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu, Stéphane Glondu, Samuel Mimram
  • Date: 2010-01-07 22:50:39 UTC
  • mfrom: (1.2.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20100107225039-n3cq82589u0qt0s2
Tags: 8.2pl1-1
http://bugs.debian.org/563669
http://bugs.debian.org/543545
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
  - remove patches
* Packaging overhaul:
  - use git, advertise it in Vcs-* fields of debian/control
  - use debhelper 7 and dh with override
  - use source format 3.0 (quilt)
* debian/control:
  - set Maintainer to d-o-m, set Uploaders to Sam and myself
  - add Homepage field
  - bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright

[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
  pdf format, not postscript, closes: #543545.

Show diffs side-by-side

added added

removed removed

Lines of Context:
dev/ocamlweb-doc/proofs.dep.ps
 
1
%!PS-Adobe-2.0
 
2
%%Creator: Graphviz version 2.12 (Tue Oct 23 13:46:12 UTC 2007)
 
3
%%For: (notin) Jean-Marc Notin,,,
 
4
%%Title: G
 
5
%%Pages: (atend)
 
6
%%BoundingBox: (atend)
 
7
%%EndComments
 
8
save
 
9
%%BeginProlog
 
10
/DotDict 200 dict def
 
11
DotDict begin
 
12
 
 
13
/setupLatin1 {
 
14
mark
 
15
/EncodingVector 256 array def
 
16
 EncodingVector 0
 
17
 
 
18
ISOLatin1Encoding 0 255 getinterval putinterval
 
19
EncodingVector 45 /hyphen put
 
20
 
 
21
% Set up ISO Latin 1 character encoding
 
22
/starnetISO {
 
23
        dup dup findfont dup length dict begin
 
24
        { 1 index /FID ne { def }{ pop pop } ifelse
 
25
        } forall
 
26
        /Encoding EncodingVector def
 
27
        currentdict end definefont
 
28
} def
 
29
/Times-Roman starnetISO def
 
30
/Times-Italic starnetISO def
 
31
/Times-Bold starnetISO def
 
32
/Times-BoldItalic starnetISO def
 
33
/Helvetica starnetISO def
 
34
/Helvetica-Oblique starnetISO def
 
35
/Helvetica-Bold starnetISO def
 
36
/Helvetica-BoldOblique starnetISO def
 
37
/Courier starnetISO def
 
38
/Courier-Oblique starnetISO def
 
39
/Courier-Bold starnetISO def
 
40
/Courier-BoldOblique starnetISO def
 
41
cleartomark
 
42
} bind def
 
43
 
 
44
%%BeginResource: procset graphviz 0 0
 
45
/coord-font-family /Times-Roman def
 
46
/default-font-family /Times-Roman def
 
47
/coordfont coord-font-family findfont 8 scalefont def
 
48
 
 
49
/InvScaleFactor 1.0 def
 
50
/set_scale {
 
51
       dup 1 exch div /InvScaleFactor exch def
 
52
       scale
 
53
} bind def
 
54
 
 
55
% styles
 
56
/solid { [] 0 setdash } bind def
 
57
/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
 
58
/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
 
59
/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
 
60
/bold { 2 setlinewidth } bind def
 
61
/filled { } bind def
 
62
/unfilled { } bind def
 
63
/rounded { } bind def
 
64
/diagonals { } bind def
 
65
 
 
66
% hooks for setting color 
 
67
/nodecolor { sethsbcolor } bind def
 
68
/edgecolor { sethsbcolor } bind def
 
69
/graphcolor { sethsbcolor } bind def
 
70
/nopcolor {pop pop pop} bind def
 
71
 
 
72
/beginpage {    % i j npages
 
73
        /npages exch def
 
74
        /j exch def
 
75
        /i exch def
 
76
        /str 10 string def
 
77
        npages 1 gt {
 
78
                gsave
 
79
                        coordfont setfont
 
80
                        0 0 moveto
 
81
                        (\() show i str cvs show (,) show j str cvs show (\)) show
 
82
                grestore
 
83
        } if
 
84
} bind def
 
85
 
 
86
/set_font {
 
87
        findfont exch
 
88
        scalefont setfont
 
89
} def
 
90
 
 
91
% draw aligned label in bounding box aligned to current point
 
92
/alignedtext {                  % width adj text
 
93
        /text exch def
 
94
        /adj exch def
 
95
        /width exch def
 
96
        gsave
 
97
                width 0 gt {
 
98
                        text stringwidth pop adj mul 0 rmoveto
 
99
                } if
 
100
                [] 0 setdash
 
101
                text show
 
102
        grestore
 
103
} def
 
104
 
 
105
/boxprim {                              % xcorner ycorner xsize ysize
 
106
                4 2 roll
 
107
                moveto
 
108
                2 copy
 
109
                exch 0 rlineto
 
110
                0 exch rlineto
 
111
                pop neg 0 rlineto
 
112
                closepath
 
113
} bind def
 
114
 
 
115
/ellipse_path {
 
116
        /ry exch def
 
117
        /rx exch def
 
118
        /y exch def
 
119
        /x exch def
 
120
        matrix currentmatrix
 
121
        newpath
 
122
        x y translate
 
123
        rx ry scale
 
124
        0 0 1 0 360 arc
 
125
        setmatrix
 
126
} bind def
 
127
 
 
128
/endpage { showpage } bind def
 
129
/showpage { } def
 
130
 
 
131
/layercolorseq
 
132
        [       % layer color sequence - darkest to lightest
 
133
                [0 0 0]
 
134
                [.2 .8 .8]
 
135
                [.4 .8 .8]
 
136
                [.6 .8 .8]
 
137
                [.8 .8 .8]
 
138
        ]
 
139
def
 
140
 
 
141
/layerlen layercolorseq length def
 
142
 
 
143
/setlayer {/maxlayer exch def /curlayer exch def
 
144
        layercolorseq curlayer 1 sub layerlen mod get
 
145
        aload pop sethsbcolor
 
146
        /nodecolor {nopcolor} def
 
147
        /edgecolor {nopcolor} def
 
148
        /graphcolor {nopcolor} def
 
149
} bind def
 
150
 
 
151
/onlayer { curlayer ne {invis} if } def
 
152
 
 
153
/onlayers {
 
154
        /myupper exch def
 
155
        /mylower exch def
 
156
        curlayer mylower lt
 
157
        curlayer myupper gt
 
158
        or
 
159
        {invis} if
 
160
} def
 
161
 
 
162
/curlayer 0 def
 
163
 
 
164
%%EndResource
 
165
%%EndProlog
 
166
%%BeginSetup
 
167
14 default-font-family set_font
 
168
1 setmiterlimit
 
169
% /arrowlength 10 def
 
170
% /arrowwidth 5 def
 
171
 
 
172
% make sure pdfmark is harmless for PS-interpreters other than Distiller
 
173
/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
 
174
% make '<<' and '>>' safe on PS Level 1 devices
 
175
/languagelevel where {pop languagelevel}{1} ifelse
 
176
2 lt {
 
177
    userdict (<<) cvn ([) cvn load put
 
178
    userdict (>>) cvn ([) cvn load put
 
179
} if
 
180
 
 
181
%%EndSetup
 
182
setupLatin1
 
183
%%Page: 1 1
 
184
%%PageBoundingBox: 36 36 576 753
 
185
%%PageOrientation: Landscape
 
186
gsave
 
187
36 36 576 753 boxprim clip newpath
 
188
0 0 1 beginpage
 
189
0.870968 0.870968 set_scale 90 rotate 45.3333 -657.333 translate
 
190
0.000 0.000 1.000 graphcolor
 
191
newpath -4 -4 moveto
 
192
-4 616 lineto
 
193
819 616 lineto
 
194
819 -4 lineto
 
195
closepath fill
 
196
0.870968 setlinewidth
 
197
0.000 0.000 1.000 graphcolor
 
198
newpath -4 -4 moveto
 
199
-4 616 lineto
 
200
819 616 lineto
 
201
819 -4 lineto
 
202
closepath stroke
 
203
% Clenvtac
 
204
gsave
 
205
0.502 1.000 0.820 nodecolor
 
206
451 522 37.1753 18 ellipse_path fill
 
207
0.870968 setlinewidth
 
208
filled
 
209
0.502 1.000 0.820 nodecolor
 
210
451 522 37.1753 18 ellipse_path stroke
 
211
0.000 0.000 0.000 nodecolor
 
212
14.00 /Times-Roman set_font
 
213
451 517 moveto 49 -0.5 (Clenvtac) alignedtext
 
214
grestore
 
215
% Evar_refiner
 
216
gsave
 
217
0.502 1.000 0.820 nodecolor
 
218
439 450 49.1777 18 ellipse_path fill
 
219
0.870968 setlinewidth
 
220
filled
 
221
0.502 1.000 0.820 nodecolor
 
222
439 450 49.1777 18 ellipse_path stroke
 
223
0.000 0.000 0.000 nodecolor
 
224
14.00 /Times-Roman set_font
 
225
439 445 moveto 72 -0.5 (Evar_refiner) alignedtext
 
226
grestore
 
227
% Clenvtac->Evar_refiner
 
228
gsave
 
229
0.870968 setlinewidth
 
230
0.000 0.000 0.000 edgecolor
 
231
newpath 448 504 moveto
 
232
447 496 445 487 444 478 curveto
 
233
stroke
 
234
0.000 0.000 0.000 edgecolor
 
235
newpath 447.393 477.119 moveto
 
236
442 468 lineto
 
237
440.529 478.492 lineto
 
238
closepath fill
 
239
0.870968 setlinewidth
 
240
solid
 
241
0.000 0.000 0.000 edgecolor
 
242
newpath 447.393 477.119 moveto
 
243
442 468 lineto
 
244
440.529 478.492 lineto
 
245
closepath stroke
 
246
grestore
 
247
% Tacmach
 
248
gsave
 
249
0.502 1.000 0.820 nodecolor
 
250
711 450 38.1754 18 ellipse_path fill
 
251
0.870968 setlinewidth
 
252
filled
 
253
0.502 1.000 0.820 nodecolor
 
254
711 450 38.1754 18 ellipse_path stroke
 
255
0.000 0.000 0.000 nodecolor
 
256
14.00 /Times-Roman set_font
 
257
711 445 moveto 51 -0.5 (Tacmach) alignedtext
 
258
grestore
 
259
% Clenvtac->Tacmach
 
260
gsave
 
261
0.870968 setlinewidth
 
262
0.000 0.000 0.000 edgecolor
 
263
newpath 483 513 moveto
 
264
530 500 616 476 668 462 curveto
 
265
stroke
 
266
0.000 0.000 0.000 edgecolor
 
267
newpath 669.427 465.226 moveto
 
268
678 459 lineto
 
269
667.416 458.521 lineto
 
270
closepath fill
 
271
0.870968 setlinewidth
 
272
solid
 
273
0.000 0.000 0.000 edgecolor
 
274
newpath 669.427 465.226 moveto
 
275
678 459 lineto
 
276
667.416 458.521 lineto
 
277
closepath stroke
 
278
grestore
 
279
% Refiner
 
280
gsave
 
281
0.502 1.000 0.820 nodecolor
 
282
439 378 34.1777 18 ellipse_path fill
 
283
0.870968 setlinewidth
 
284
filled
 
285
0.502 1.000 0.820 nodecolor
 
286
439 378 34.1777 18 ellipse_path stroke
 
287
0.000 0.000 0.000 nodecolor
 
288
14.00 /Times-Roman set_font
 
289
439 373 moveto 42 -0.5 (Refiner) alignedtext
 
290
grestore
 
291
% Evar_refiner->Refiner
 
292
gsave
 
293
0.870968 setlinewidth
 
294
0.000 0.000 0.000 edgecolor
 
295
newpath 439 432 moveto
 
296
439 424 439 415 439 406 curveto
 
297
stroke
 
298
0.000 0.000 0.000 edgecolor
 
299
newpath 442.5 406 moveto
 
300
439 396 lineto
 
301
435.5 406 lineto
 
302
closepath fill
 
303
0.870968 setlinewidth
 
304
solid
 
305
0.000 0.000 0.000 edgecolor
 
306
newpath 442.5 406 moveto
 
307
439 396 lineto
 
308
435.5 406 lineto
 
309
closepath stroke
 
310
grestore
 
311
% Tacmach->Refiner
 
312
gsave
 
313
0.870968 setlinewidth
 
314
0.000 0.000 0.000 edgecolor
 
315
newpath 678 441 moveto
 
316
628 428 533 403 480 389 curveto
 
317
stroke
 
318
0.000 0.000 0.000 edgecolor
 
319
newpath 480.584 385.521 moveto
 
320
470 386 lineto
 
321
478.573 392.226 lineto
 
322
closepath fill
 
323
0.870968 setlinewidth
 
324
solid
 
325
0.000 0.000 0.000 edgecolor
 
326
newpath 480.584 385.521 moveto
 
327
470 386 lineto
 
328
478.573 392.226 lineto
 
329
closepath stroke
 
330
grestore
 
331
% Redexpr
 
332
gsave
 
333
0.502 1.000 0.820 nodecolor
 
334
711 378 36.1752 18 ellipse_path fill
 
335
0.870968 setlinewidth
 
336
filled
 
337
0.502 1.000 0.820 nodecolor
 
338
711 378 36.1752 18 ellipse_path stroke
 
339
0.000 0.000 0.000 nodecolor
 
340
14.00 /Times-Roman set_font
 
341
711 373 moveto 47 -0.5 (Redexpr) alignedtext
 
342
grestore
 
343
% Tacmach->Redexpr
 
344
gsave
 
345
0.870968 setlinewidth
 
346
0.000 0.000 0.000 edgecolor
 
347
newpath 711 432 moveto
 
348
711 424 711 415 711 406 curveto
 
349
stroke
 
350
0.000 0.000 0.000 edgecolor
 
351
newpath 714.5 406 moveto
 
352
711 396 lineto
 
353
707.5 406 lineto
 
354
closepath fill
 
355
0.870968 setlinewidth
 
356
solid
 
357
0.000 0.000 0.000 edgecolor
 
358
newpath 714.5 406 moveto
 
359
711 396 lineto
 
360
707.5 406 lineto
 
361
closepath stroke
 
362
grestore
 
363
% Decl_mode
 
364
gsave
 
365
0.502 1.000 0.820 nodecolor
 
366
698 594 45.1777 18 ellipse_path fill
 
367
0.870968 setlinewidth
 
368
filled
 
369
0.502 1.000 0.820 nodecolor
 
370
698 594 45.1777 18 ellipse_path stroke
 
371
0.000 0.000 0.000 nodecolor
 
372
14.00 /Times-Roman set_font
 
373
698 589 moveto 64 -0.5 (Decl_mode) alignedtext
 
374
grestore
 
375
% Pfedit
 
376
gsave
 
377
0.502 1.000 0.820 nodecolor
 
378
698 522 30.1777 18 ellipse_path fill
 
379
0.870968 setlinewidth
 
380
filled
 
381
0.502 1.000 0.820 nodecolor
 
382
698 522 30.1777 18 ellipse_path stroke
 
383
0.000 0.000 0.000 nodecolor
 
384
14.00 /Times-Roman set_font
 
385
698 517 moveto 34 -0.5 (Pfedit) alignedtext
 
386
grestore
 
387
% Decl_mode->Pfedit
 
388
gsave
 
389
0.870968 setlinewidth
 
390
0.000 0.000 0.000 edgecolor
 
391
newpath 698 576 moveto
 
392
698 568 698 559 698 550 curveto
 
393
stroke
 
394
0.000 0.000 0.000 edgecolor
 
395
newpath 701.5 550 moveto
 
396
698 540 lineto
 
397
694.5 550 lineto
 
398
closepath fill
 
399
0.870968 setlinewidth
 
400
solid
 
401
0.000 0.000 0.000 edgecolor
 
402
newpath 701.5 550 moveto
 
403
698 540 lineto
 
404
694.5 550 lineto
 
405
closepath stroke
 
406
grestore
 
407
% Pfedit->Evar_refiner
 
408
gsave
 
409
0.870968 setlinewidth
 
410
0.000 0.000 0.000 edgecolor
 
411
newpath 671 514 moveto
 
412
628 503 543 479 488 464 curveto
 
413
stroke
 
414
0.000 0.000 0.000 edgecolor
 
415
newpath 488.584 460.521 moveto
 
416
478 461 lineto
 
417
486.573 467.226 lineto
 
418
closepath fill
 
419
0.870968 setlinewidth
 
420
solid
 
421
0.000 0.000 0.000 edgecolor
 
422
newpath 488.584 460.521 moveto
 
423
478 461 lineto
 
424
486.573 467.226 lineto
 
425
closepath stroke
 
426
grestore
 
427
% Pfedit->Tacmach
 
428
gsave
 
429
0.870968 setlinewidth
 
430
0.000 0.000 0.000 edgecolor
 
431
newpath 701 504 moveto
 
432
702 496 704 487 706 478 curveto
 
433
stroke
 
434
0.000 0.000 0.000 edgecolor
 
435
newpath 709.471 478.492 moveto
 
436
708 468 lineto
 
437
702.607 477.119 lineto
 
438
closepath fill
 
439
0.870968 setlinewidth
 
440
solid
 
441
0.000 0.000 0.000 edgecolor
 
442
newpath 709.471 478.492 moveto
 
443
708 468 lineto
 
444
702.607 477.119 lineto
 
445
closepath stroke
 
446
grestore
 
447
% Logic
 
448
gsave
 
449
0.502 1.000 0.820 nodecolor
 
450
439 306 29.1747 18 ellipse_path fill
 
451
0.870968 setlinewidth
 
452
filled
 
453
0.502 1.000 0.820 nodecolor
 
454
439 306 29.1747 18 ellipse_path stroke
 
455
0.000 0.000 0.000 nodecolor
 
456
14.00 /Times-Roman set_font
 
457
439 301 moveto 33 -0.5 (Logic) alignedtext
 
458
grestore
 
459
% Refiner->Logic
 
460
gsave
 
461
0.870968 setlinewidth
 
462
0.000 0.000 0.000 edgecolor
 
463
newpath 439 360 moveto
 
464
439 352 439 343 439 334 curveto
 
465
stroke
 
466
0.000 0.000 0.000 edgecolor
 
467
newpath 442.5 334 moveto
 
468
439 324 lineto
 
469
435.5 334 lineto
 
470
closepath fill
 
471
0.870968 setlinewidth
 
472
solid
 
473
0.000 0.000 0.000 edgecolor
 
474
newpath 442.5 334 moveto
 
475
439 324 lineto
 
476
435.5 334 lineto
 
477
closepath stroke
 
478
grestore
 
479
% Proof_trees
 
480
gsave
 
481
0.502 1.000 0.820 nodecolor
 
482
439 234 45.1757 18 ellipse_path fill
 
483
0.870968 setlinewidth
 
484
filled
 
485
0.502 1.000 0.820 nodecolor
 
486
439 234 45.1757 18 ellipse_path stroke
 
487
0.000 0.000 0.000 nodecolor
 
488
14.00 /Times-Roman set_font
 
489
439 229 moveto 65 -0.5 (Proof_trees) alignedtext
 
490
grestore
 
491
% Logic->Proof_trees
 
492
gsave
 
493
0.870968 setlinewidth
 
494
0.000 0.000 0.000 edgecolor
 
495
newpath 439 288 moveto
 
496
439 280 439 271 439 262 curveto
 
497
stroke
 
498
0.000 0.000 0.000 edgecolor
 
499
newpath 442.5 262 moveto
 
500
439 252 lineto
 
501
435.5 262 lineto
 
502
closepath fill
 
503
0.870968 setlinewidth
 
504
solid
 
505
0.000 0.000 0.000 edgecolor
 
506
newpath 442.5 262 moveto
 
507
439 252 lineto
 
508
435.5 262 lineto
 
509
closepath stroke
 
510
grestore
 
511
% Proof_type
 
512
gsave
 
513
0.502 1.000 0.820 nodecolor
 
514
439 162 44.1757 18 ellipse_path fill
 
515
0.870968 setlinewidth
 
516
filled
 
517
0.502 1.000 0.820 nodecolor
 
518
439 162 44.1757 18 ellipse_path stroke
 
519
0.000 0.000 0.000 nodecolor
 
520
14.00 /Times-Roman set_font
 
521
439 157 moveto 63 -0.5 (Proof_type) alignedtext
 
522
grestore
 
523
% Proof_trees->Proof_type
 
524
gsave
 
525
0.870968 setlinewidth
 
526
0.000 0.000 0.000 edgecolor
 
527
newpath 439 216 moveto
 
528
439 208 439 199 439 190 curveto
 
529
stroke
 
530
0.000 0.000 0.000 edgecolor
 
531
newpath 442.5 190 moveto
 
532
439 180 lineto
 
533
435.5 190 lineto
 
534
closepath fill
 
535
0.870968 setlinewidth
 
536
solid
 
537
0.000 0.000 0.000 edgecolor
 
538
newpath 442.5 190 moveto
 
539
439 180 lineto
 
540
435.5 190 lineto
 
541
closepath stroke
 
542
grestore
 
543
% Decl_expr
 
544
gsave
 
545
0.502 1.000 0.820 nodecolor
 
546
439 90 42.1777 18 ellipse_path fill
 
547
0.870968 setlinewidth
 
548
filled
 
549
0.502 1.000 0.820 nodecolor
 
550
439 90 42.1777 18 ellipse_path stroke
 
551
0.000 0.000 0.000 nodecolor
 
552
14.00 /Times-Roman set_font
 
553
439 85 moveto 58 -0.5 (Decl_expr) alignedtext
 
554
grestore
 
555
% Proof_type->Decl_expr
 
556
gsave
 
557
0.870968 setlinewidth
 
558
0.000 0.000 0.000 edgecolor
 
559
newpath 439 144 moveto
 
560
439 136 439 127 439 118 curveto
 
561
stroke
 
562
0.000 0.000 0.000 edgecolor
 
563
newpath 442.5 118 moveto
 
564
439 108 lineto
 
565
435.5 118 lineto
 
566
closepath fill
 
567
0.870968 setlinewidth
 
568
solid
 
569
0.000 0.000 0.000 edgecolor
 
570
newpath 442.5 118 moveto
 
571
439 108 lineto
 
572
435.5 118 lineto
 
573
closepath stroke
 
574
grestore
 
575
% Tacexpr
 
576
gsave
 
577
0.502 1.000 0.820 nodecolor
 
578
439 18 36.1777 18 ellipse_path fill
 
579
0.870968 setlinewidth
 
580
filled
 
581
0.502 1.000 0.820 nodecolor
 
582
439 18 36.1777 18 ellipse_path stroke
 
583
0.000 0.000 0.000 nodecolor
 
584
14.00 /Times-Roman set_font
 
585
439 13 moveto 46 -0.5 (Tacexpr) alignedtext
 
586
grestore
 
587
% Decl_expr->Tacexpr
 
588
gsave
 
589
0.870968 setlinewidth
 
590
0.000 0.000 0.000 edgecolor
 
591
newpath 439 72 moveto
 
592
439 64 439 55 439 46 curveto
 
593
stroke
 
594
0.000 0.000 0.000 edgecolor
 
595
newpath 442.5 46 moveto
 
596
439 36 lineto
 
597
435.5 46 lineto
 
598
closepath fill
 
599
0.870968 setlinewidth
 
600
solid
 
601
0.000 0.000 0.000 edgecolor
 
602
newpath 442.5 46 moveto
 
603
439 36 lineto
 
604
435.5 46 lineto
 
605
closepath stroke
 
606
grestore
 
607
% Tactic_debug
 
608
gsave
 
609
0.502 1.000 0.820 nodecolor
 
610
133 450 51.1777 18 ellipse_path fill
 
611
0.870968 setlinewidth
 
612
filled
 
613
0.502 1.000 0.820 nodecolor
 
614
133 450 51.1777 18 ellipse_path stroke
 
615
0.000 0.000 0.000 nodecolor
 
616
14.00 /Times-Roman set_font
 
617
133 445 moveto 76 -0.5 (Tactic_debug) alignedtext
 
618
grestore
 
619
% Tactic_debug->Refiner
 
620
gsave
 
621
0.870968 setlinewidth
 
622
0.000 0.000 0.000 edgecolor
 
623
newpath 176 440 moveto
 
624
234 426 339 401 398 387 curveto
 
625
stroke
 
626
0.000 0.000 0.000 edgecolor
 
627
newpath 398.881 390.393 moveto
 
628
408 385 lineto
 
629
397.508 383.529 lineto
 
630
closepath fill
 
631
0.870968 setlinewidth
 
632
solid
 
633
0.000 0.000 0.000 edgecolor
 
634
newpath 398.881 390.393 moveto
 
635
408 385 lineto
 
636
397.508 383.529 lineto
 
637
closepath stroke
 
638
grestore
 
639
endpage
 
640
showpage
 
641
grestore
 
642
%%PageTrailer
 
643
%%EndPage: 1
 
644
%%Trailer
 
645
%%Pages: 1
 
646
%%BoundingBox: 36 36 576 753
 
647
end
 
648
restore
 
649
%%EOF