← Back to branch summary

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

« back to all changes in this revision

Viewing changes to dev/ocamlweb-doc/toplevel.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/toplevel.dep.ps
 
1
%!PS-Adobe-2.0
 
2
%%Creator: dot version 2.2 (Wed Jan 19 21:09:25 UTC 2005)
 
3
%%For: (herbelin) Hugo Herbelin
 
4
%%Title: G
 
5
%%Pages: (atend)
 
6
%%BoundingBox: 35 35 577 166
 
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
 
 
20
EncodingVector
 
21
  dup 306 /AE
 
22
  dup 301 /Aacute
 
23
  dup 302 /Acircumflex
 
24
  dup 304 /Adieresis
 
25
  dup 300 /Agrave
 
26
  dup 305 /Aring
 
27
  dup 303 /Atilde
 
28
  dup 307 /Ccedilla
 
29
  dup 311 /Eacute
 
30
  dup 312 /Ecircumflex
 
31
  dup 313 /Edieresis
 
32
  dup 310 /Egrave
 
33
  dup 315 /Iacute
 
34
  dup 316 /Icircumflex
 
35
  dup 317 /Idieresis
 
36
  dup 314 /Igrave
 
37
  dup 334 /Udieresis
 
38
  dup 335 /Yacute
 
39
  dup 376 /thorn
 
40
  dup 337 /germandbls
 
41
  dup 341 /aacute
 
42
  dup 342 /acircumflex
 
43
  dup 344 /adieresis
 
44
  dup 346 /ae
 
45
  dup 340 /agrave
 
46
  dup 345 /aring
 
47
  dup 347 /ccedilla
 
48
  dup 351 /eacute
 
49
  dup 352 /ecircumflex
 
50
  dup 353 /edieresis
 
51
  dup 350 /egrave
 
52
  dup 355 /iacute
 
53
  dup 356 /icircumflex
 
54
  dup 357 /idieresis
 
55
  dup 354 /igrave
 
56
  dup 360 /dcroat
 
57
  dup 361 /ntilde
 
58
  dup 363 /oacute
 
59
  dup 364 /ocircumflex
 
60
  dup 366 /odieresis
 
61
  dup 362 /ograve
 
62
  dup 365 /otilde
 
63
  dup 370 /oslash
 
64
  dup 372 /uacute
 
65
  dup 373 /ucircumflex
 
66
  dup 374 /udieresis
 
67
  dup 371 /ugrave
 
68
  dup 375 /yacute
 
69
  dup 377 /ydieresis  
 
70
 
 
71
% Set up ISO Latin 1 character encoding
 
72
/starnetISO {
 
73
        dup dup findfont dup length dict begin
 
74
        { 1 index /FID ne { def }{ pop pop } ifelse
 
75
        } forall
 
76
        /Encoding EncodingVector def
 
77
        currentdict end definefont
 
78
} def
 
79
/Times-Roman starnetISO def
 
80
/Times-Italic starnetISO def
 
81
/Times-Bold starnetISO def
 
82
/Times-BoldItalic starnetISO def
 
83
/Helvetica starnetISO def
 
84
/Helvetica-Oblique starnetISO def
 
85
/Helvetica-Bold starnetISO def
 
86
/Helvetica-BoldOblique starnetISO def
 
87
/Courier starnetISO def
 
88
/Courier-Oblique starnetISO def
 
89
/Courier-Bold starnetISO def
 
90
/Courier-BoldOblique starnetISO def
 
91
cleartomark
 
92
} bind def
 
93
 
 
94
%%BeginResource: procset graphviz 0 0
 
95
/coord-font-family /Times-Roman def
 
96
/default-font-family /Times-Roman def
 
97
/coordfont coord-font-family findfont 8 scalefont def
 
98
 
 
99
/InvScaleFactor 1.0 def
 
100
/set_scale {
 
101
        dup 1 exch div /InvScaleFactor exch def
 
102
        dup scale
 
103
} bind def
 
104
 
 
105
% styles
 
106
/solid { [] 0 setdash } bind def
 
107
/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
 
108
/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
 
109
/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
 
110
/bold { 2 setlinewidth } bind def
 
111
/filled { } bind def
 
112
/unfilled { } bind def
 
113
/rounded { } bind def
 
114
/diagonals { } bind def
 
115
 
 
116
% hooks for setting color 
 
117
/nodecolor { sethsbcolor } bind def
 
118
/edgecolor { sethsbcolor } bind def
 
119
/graphcolor { sethsbcolor } bind def
 
120
/nopcolor {pop pop pop} bind def
 
121
 
 
122
/beginpage {    % i j npages
 
123
        /npages exch def
 
124
        /j exch def
 
125
        /i exch def
 
126
        /str 10 string def
 
127
        npages 1 gt {
 
128
                gsave
 
129
                        coordfont setfont
 
130
                        0 0 moveto
 
131
                        (\() show i str cvs show (,) show j str cvs show (\)) show
 
132
                grestore
 
133
        } if
 
134
} bind def
 
135
 
 
136
/set_font {
 
137
        findfont exch
 
138
        scalefont setfont
 
139
} def
 
140
 
 
141
% draw aligned label in bounding box aligned to current point
 
142
/alignedtext {                  % width adj text
 
143
        /text exch def
 
144
        /adj exch def
 
145
        /width exch def
 
146
        gsave
 
147
                width 0 gt {
 
148
                        text stringwidth pop adj mul 0 rmoveto
 
149
                } if
 
150
                [] 0 setdash
 
151
                text show
 
152
        grestore
 
153
} def
 
154
 
 
155
/boxprim {                              % xcorner ycorner xsize ysize
 
156
                4 2 roll
 
157
                moveto
 
158
                2 copy
 
159
                exch 0 rlineto
 
160
                0 exch rlineto
 
161
                pop neg 0 rlineto
 
162
                closepath
 
163
} bind def
 
164
 
 
165
/ellipse_path {
 
166
        /ry exch def
 
167
        /rx exch def
 
168
        /y exch def
 
169
        /x exch def
 
170
        matrix currentmatrix
 
171
        newpath
 
172
        x y translate
 
173
        rx ry scale
 
174
        0 0 1 0 360 arc
 
175
        setmatrix
 
176
} bind def
 
177
 
 
178
/endpage { showpage } bind def
 
179
/showpage { } def
 
180
 
 
181
/layercolorseq
 
182
        [       % layer color sequence - darkest to lightest
 
183
                [0 0 0]
 
184
                [.2 .8 .8]
 
185
                [.4 .8 .8]
 
186
                [.6 .8 .8]
 
187
                [.8 .8 .8]
 
188
        ]
 
189
def
 
190
 
 
191
/layerlen layercolorseq length def
 
192
 
 
193
/setlayer {/maxlayer exch def /curlayer exch def
 
194
        layercolorseq curlayer 1 sub layerlen mod get
 
195
        aload pop sethsbcolor
 
196
        /nodecolor {nopcolor} def
 
197
        /edgecolor {nopcolor} def
 
198
        /graphcolor {nopcolor} def
 
199
} bind def
 
200
 
 
201
/onlayer { curlayer ne {invis} if } def
 
202
 
 
203
/onlayers {
 
204
        /myupper exch def
 
205
        /mylower exch def
 
206
        curlayer mylower lt
 
207
        curlayer myupper gt
 
208
        or
 
209
        {invis} if
 
210
} def
 
211
 
 
212
/curlayer 0 def
 
213
 
 
214
%%EndResource
 
215
%%EndProlog
 
216
%%BeginSetup
 
217
14 default-font-family set_font
 
218
1 setmiterlimit
 
219
% /arrowlength 10 def
 
220
% /arrowwidth 5 def
 
221
 
 
222
% make sure pdfmark is harmless for PS-interpreters other than Distiller
 
223
/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
 
224
% make '<<' and '>>' safe on PS Level 1 devices
 
225
/languagelevel where {pop languagelevel}{1} ifelse
 
226
2 lt {
 
227
    userdict (<<) cvn ([) cvn load put
 
228
    userdict (>>) cvn ([) cvn load put
 
229
} if
 
230
 
 
231
%%EndSetup
 
232
%%Page: 1 1
 
233
%%PageBoundingBox: 36 36 577 166
 
234
%%PageOrientation: Portrait
 
235
gsave
 
236
35 35 542 131 boxprim clip newpath
 
237
36 36 translate
 
238
0 0 1 beginpage
 
239
0.4180 set_scale
 
240
0 0 translate 0 rotate
 
241
0.000 0.000 0.000 graphcolor
 
242
14.00 /Times-Roman set_font
 
243
 
 
244
%       Vernac
 
245
gsave 10 dict begin
 
246
562 145 33 18 ellipse_path
 
247
stroke
 
248
gsave 10 dict begin
 
249
541 140 moveto
 
250
(Vernac)
 
251
[8.88 6.24 4.8 6.96 6.24 6.24]
 
252
xshow
 
253
end grestore
 
254
end grestore
 
255
 
 
256
%       Vernacentries
 
257
gsave 10 dict begin
 
258
724 158 52 18 ellipse_path
 
259
stroke
 
260
gsave 10 dict begin
 
261
685 153 moveto
 
262
(Vernacentries)
 
263
[8.88 6.24 4.8 6.96 6.24 6.24 6.24 6.96 3.84 4.8 3.84 6.24 5.52]
 
264
xshow
 
265
end grestore
 
266
end grestore
 
267
 
 
268
%       Vernac -> Vernacentries
 
269
newpath 595 148 moveto
 
270
615 149 640 151 663 153 curveto
 
271
stroke
 
272
gsave 10 dict begin
 
273
solid
 
274
1 setlinewidth
 
275
0.000 0.000 0.000 edgecolor
 
276
newpath 663 156 moveto
 
277
673 154 lineto
 
278
663 150 lineto
 
279
closepath
 
280
fill
 
281
0.000 0.000 0.000 edgecolor
 
282
newpath 663 156 moveto
 
283
673 154 lineto
 
284
663 150 lineto
 
285
closepath
 
286
stroke
 
287
end grestore
 
288
 
 
289
%       Vernacinterp
 
290
gsave 10 dict begin
 
291
862 158 50 18 ellipse_path
 
292
stroke
 
293
gsave 10 dict begin
 
294
825 153 moveto
 
295
(Vernacinterp)
 
296
[8.88 6.24 4.8 6.96 6.24 6.24 3.84 6.96 3.84 6.24 4.8 6.96]
 
297
xshow
 
298
end grestore
 
299
end grestore
 
300
 
 
301
%       Vernacentries -> Vernacinterp
 
302
newpath 776 158 moveto
 
303
785 158 793 158 802 158 curveto
 
304
stroke
 
305
gsave 10 dict begin
 
306
solid
 
307
1 setlinewidth
 
308
0.000 0.000 0.000 edgecolor
 
309
newpath 802 162 moveto
 
310
812 158 lineto
 
311
802 155 lineto
 
312
closepath
 
313
fill
 
314
0.000 0.000 0.000 edgecolor
 
315
newpath 802 162 moveto
 
316
812 158 lineto
 
317
802 155 lineto
 
318
closepath
 
319
stroke
 
320
end grestore
 
321
 
 
322
%       Discharge
 
323
gsave 10 dict begin
 
324
862 212 42 18 ellipse_path
 
325
stroke
 
326
gsave 10 dict begin
 
327
833 207 moveto
 
328
(Discharge)
 
329
[10.08 3.84 5.52 6 6.96 6.24 4.32 6.72 6.24]
 
330
xshow
 
331
end grestore
 
332
end grestore
 
333
 
 
334
%       Vernacentries -> Discharge
 
335
newpath 758 171 moveto
 
336
777 179 801 188 822 196 curveto
 
337
stroke
 
338
gsave 10 dict begin
 
339
solid
 
340
1 setlinewidth
 
341
0.000 0.000 0.000 edgecolor
 
342
newpath 820 199 moveto
 
343
831 200 lineto
 
344
823 193 lineto
 
345
closepath
 
346
fill
 
347
0.000 0.000 0.000 edgecolor
 
348
newpath 820 199 moveto
 
349
831 200 lineto
 
350
823 193 lineto
 
351
closepath
 
352
stroke
 
353
end grestore
 
354
 
 
355
%       Mltop
 
356
gsave 10 dict begin
 
357
862 104 31 18 ellipse_path
 
358
stroke
 
359
gsave 10 dict begin
 
360
844 99 moveto
 
361
(Mltop)
 
362
[12.48 3.84 3.84 6.96 6.96]
 
363
xshow
 
364
end grestore
 
365
end grestore
 
366
 
 
367
%       Vernacentries -> Mltop
 
368
newpath 758 145 moveto
 
369
779 137 805 126 826 118 curveto
 
370
stroke
 
371
gsave 10 dict begin
 
372
solid
 
373
1 setlinewidth
 
374
0.000 0.000 0.000 edgecolor
 
375
newpath 828 121 moveto
 
376
836 114 lineto
 
377
825 114 lineto
 
378
closepath
 
379
fill
 
380
0.000 0.000 0.000 edgecolor
 
381
newpath 828 121 moveto
 
382
836 114 lineto
 
383
825 114 lineto
 
384
closepath
 
385
stroke
 
386
end grestore
 
387
 
 
388
%       Record
 
389
gsave 10 dict begin
 
390
862 281 33 18 ellipse_path
 
391
stroke
 
392
gsave 10 dict begin
 
393
842 276 moveto
 
394
(Record)
 
395
[9.12 6.24 6.24 6.96 4.32 6.96]
 
396
xshow
 
397
end grestore
 
398
end grestore
 
399
 
 
400
%       Vernacentries -> Record
 
401
newpath 742 175 moveto
 
402
760 192 788 217 812 239 curveto
 
403
819 246 828 253 835 259 curveto
 
404
stroke
 
405
gsave 10 dict begin
 
406
solid
 
407
1 setlinewidth
 
408
0.000 0.000 0.000 edgecolor
 
409
newpath 833 262 moveto
 
410
843 266 lineto
 
411
838 257 lineto
 
412
closepath
 
413
fill
 
414
0.000 0.000 0.000 edgecolor
 
415
newpath 833 262 moveto
 
416
843 266 lineto
 
417
838 257 lineto
 
418
closepath
 
419
stroke
 
420
end grestore
 
421
 
 
422
%       Himsg
 
423
gsave 10 dict begin
 
424
991 85 32 18 ellipse_path
 
425
stroke
 
426
gsave 10 dict begin
 
427
971 80 moveto
 
428
(Himsg)
 
429
[10.08 3.84 10.8 5.52 6.96]
 
430
xshow
 
431
end grestore
 
432
end grestore
 
433
 
 
434
%       Vernacinterp -> Himsg
 
435
newpath 890 143 moveto
 
436
897 139 905 135 912 131 curveto
 
437
929 123 946 112 960 103 curveto
 
438
stroke
 
439
gsave 10 dict begin
 
440
solid
 
441
1 setlinewidth
 
442
0.000 0.000 0.000 edgecolor
 
443
newpath 962 106 moveto
 
444
969 98 lineto
 
445
959 100 lineto
 
446
closepath
 
447
fill
 
448
0.000 0.000 0.000 edgecolor
 
449
newpath 962 106 moveto
 
450
969 98 lineto
 
451
959 100 lineto
 
452
closepath
 
453
stroke
 
454
end grestore
 
455
 
 
456
%       Vernacexpr
 
457
gsave 10 dict begin
 
458
1246 221 45 18 ellipse_path
 
459
stroke
 
460
gsave 10 dict begin
 
461
1213 216 moveto
 
462
(Vernacexpr)
 
463
[8.88 6.24 4.8 6.96 6.24 6.24 5.76 6.96 6.96 4.56]
 
464
xshow
 
465
end grestore
 
466
end grestore
 
467
 
 
468
%       Vernacinterp -> Vernacexpr
 
469
newpath 912 159 moveto
 
470
947 160 994 163 1034 169 curveto
 
471
1092 178 1158 195 1200 207 curveto
 
472
stroke
 
473
gsave 10 dict begin
 
474
solid
 
475
1 setlinewidth
 
476
0.000 0.000 0.000 edgecolor
 
477
newpath 1199 210 moveto
 
478
1210 210 lineto
 
479
1201 204 lineto
 
480
closepath
 
481
fill
 
482
0.000 0.000 0.000 edgecolor
 
483
newpath 1199 210 moveto
 
484
1210 210 lineto
 
485
1201 204 lineto
 
486
closepath
 
487
stroke
 
488
end grestore
 
489
 
 
490
%       Class
 
491
gsave 10 dict begin
 
492
1117 238 28 18 ellipse_path
 
493
stroke
 
494
gsave 10 dict begin
 
495
1101 233 moveto
 
496
(Class)
 
497
[9.36 3.84 6.24 5.52 5.52]
 
498
xshow
 
499
end grestore
 
500
end grestore
 
501
 
 
502
%       Discharge -> Class
 
503
newpath 902 217 moveto
 
504
917 219 933 221 948 223 curveto
 
505
992 228 1044 232 1079 235 curveto
 
506
stroke
 
507
gsave 10 dict begin
 
508
solid
 
509
1 setlinewidth
 
510
0.000 0.000 0.000 edgecolor
 
511
newpath 1079 238 moveto
 
512
1089 236 lineto
 
513
1079 232 lineto
 
514
closepath
 
515
fill
 
516
0.000 0.000 0.000 edgecolor
 
517
newpath 1079 238 moveto
 
518
1089 236 lineto
 
519
1079 232 lineto
 
520
closepath
 
521
stroke
 
522
end grestore
 
523
 
 
524
%       Recordobj
 
525
gsave 10 dict begin
 
526
991 196 42 18 ellipse_path
 
527
stroke
 
528
gsave 10 dict begin
 
529
962 191 moveto
 
530
(Recordobj)
 
531
[9.12 6.24 6.24 6.96 4.32 6.96 6.96 6.96 3.84]
 
532
xshow
 
533
end grestore
 
534
end grestore
 
535
 
 
536
%       Discharge -> Recordobj
 
537
newpath 902 207 moveto
 
538
914 205 927 204 940 202 curveto
 
539
stroke
 
540
gsave 10 dict begin
 
541
solid
 
542
1 setlinewidth
 
543
0.000 0.000 0.000 edgecolor
 
544
newpath 940 205 moveto
 
545
950 201 lineto
 
546
940 199 lineto
 
547
closepath
 
548
fill
 
549
0.000 0.000 0.000 edgecolor
 
550
newpath 940 205 moveto
 
551
950 201 lineto
 
552
940 199 lineto
 
553
closepath
 
554
stroke
 
555
end grestore
 
556
 
 
557
%       Command
 
558
gsave 10 dict begin
 
559
991 288 42 18 ellipse_path
 
560
stroke
 
561
gsave 10 dict begin
 
562
961 283 moveto
 
563
(Command)
 
564
[9.36 6.96 10.8 10.8 6.24 6.96 6.96]
 
565
xshow
 
566
end grestore
 
567
end grestore
 
568
 
 
569
%       Record -> Command
 
570
newpath 895 283 moveto
 
571
908 284 923 285 938 285 curveto
 
572
stroke
 
573
gsave 10 dict begin
 
574
solid
 
575
1 setlinewidth
 
576
0.000 0.000 0.000 edgecolor
 
577
newpath 938 288 moveto
 
578
948 286 lineto
 
579
938 282 lineto
 
580
closepath
 
581
fill
 
582
0.000 0.000 0.000 edgecolor
 
583
newpath 938 288 moveto
 
584
948 286 lineto
 
585
938 282 lineto
 
586
closepath
 
587
stroke
 
588
end grestore
 
589
 
 
590
%       Toplevel
 
591
gsave 10 dict begin
 
592
255 72 37 18 ellipse_path
 
593
stroke
 
594
gsave 10 dict begin
 
595
231 67 moveto
 
596
(Toplevel)
 
597
[7.2 6.96 6.96 3.84 5.76 6.48 6.24 3.84]
 
598
xshow
 
599
end grestore
 
600
end grestore
 
601
 
 
602
%       Protectedtoplevel
 
603
gsave 10 dict begin
 
604
390 72 61 18 ellipse_path
 
605
stroke
 
606
gsave 10 dict begin
 
607
341 67 moveto
 
608
(Protectedtoplevel)
 
609
[7.68 4.56 6.72 3.84 6.24 6.24 3.84 6.24 6.96 3.84 6.96 6.96 3.84 5.76 6.48 6.24 3.84]
 
610
xshow
 
611
end grestore
 
612
end grestore
 
613
 
 
614
%       Toplevel -> Protectedtoplevel
 
615
newpath 292 72 moveto
 
616
300 72 309 72 318 72 curveto
 
617
stroke
 
618
gsave 10 dict begin
 
619
solid
 
620
1 setlinewidth
 
621
0.000 0.000 0.000 edgecolor
 
622
newpath 318 76 moveto
 
623
328 72 lineto
 
624
318 69 lineto
 
625
closepath
 
626
fill
 
627
0.000 0.000 0.000 edgecolor
 
628
newpath 318 76 moveto
 
629
328 72 lineto
 
630
318 69 lineto
 
631
closepath
 
632
stroke
 
633
end grestore
 
634
 
 
635
%       Protectedtoplevel -> Vernac
 
636
newpath 425 87 moveto
 
637
455 100 497 117 527 130 curveto
 
638
stroke
 
639
gsave 10 dict begin
 
640
solid
 
641
1 setlinewidth
 
642
0.000 0.000 0.000 edgecolor
 
643
newpath 525 133 moveto
 
644
536 134 lineto
 
645
528 127 lineto
 
646
closepath
 
647
fill
 
648
0.000 0.000 0.000 edgecolor
 
649
newpath 525 133 moveto
 
650
536 134 lineto
 
651
528 127 lineto
 
652
closepath
 
653
stroke
 
654
end grestore
 
655
 
 
656
%       Cerrors
 
657
gsave 10 dict begin
 
658
724 65 34 18 ellipse_path
 
659
stroke
 
660
gsave 10 dict begin
 
661
702 60 moveto
 
662
(Cerrors)
 
663
[9.36 6.24 5.04 4.56 6.96 4.56 5.52]
 
664
xshow
 
665
end grestore
 
666
end grestore
 
667
 
 
668
%       Protectedtoplevel -> Cerrors
 
669
newpath 452 71 moveto
 
670
518 70 621 67 679 66 curveto
 
671
stroke
 
672
gsave 10 dict begin
 
673
solid
 
674
1 setlinewidth
 
675
0.000 0.000 0.000 edgecolor
 
676
newpath 679 70 moveto
 
677
689 66 lineto
 
678
679 63 lineto
 
679
closepath
 
680
fill
 
681
0.000 0.000 0.000 edgecolor
 
682
newpath 679 70 moveto
 
683
689 66 lineto
 
684
679 63 lineto
 
685
closepath
 
686
stroke
 
687
end grestore
 
688
 
 
689
%       Line_oriented_parser
 
690
gsave 10 dict begin
 
691
562 26 73 18 ellipse_path
 
692
stroke
 
693
gsave 10 dict begin
 
694
501 21 moveto
 
695
(Line_oriented_parser)
 
696
[8.4 3.84 6.96 6.24 6.96 6.96 4.8 3.84 6.24 6.96 3.84 6.24 6.96 6.96 6.96 6.24 4.56 5.52 6.24 4.56]
 
697
xshow
 
698
end grestore
 
699
end grestore
 
700
 
 
701
%       Protectedtoplevel -> Line_oriented_parser
 
702
newpath 436 60 moveto
 
703
457 55 481 48 502 42 curveto
 
704
stroke
 
705
gsave 10 dict begin
 
706
solid
 
707
1 setlinewidth
 
708
0.000 0.000 0.000 edgecolor
 
709
newpath 503 45 moveto
 
710
512 39 lineto
 
711
501 39 lineto
 
712
closepath
 
713
fill
 
714
0.000 0.000 0.000 edgecolor
 
715
newpath 503 45 moveto
 
716
512 39 lineto
 
717
501 39 lineto
 
718
closepath
 
719
stroke
 
720
end grestore
 
721
 
 
722
%       Metasyntax
 
723
gsave 10 dict begin
 
724
1117 292 46 18 ellipse_path
 
725
stroke
 
726
gsave 10 dict begin
 
727
1083 287 moveto
 
728
(Metasyntax)
 
729
[12.48 6 4.08 6.24 5.52 6.96 6.96 4.08 6.24 6.96]
 
730
xshow
 
731
end grestore
 
732
end grestore
 
733
 
 
734
%       Command -> Metasyntax
 
735
newpath 1034 289 moveto
 
736
1043 290 1052 290 1061 290 curveto
 
737
stroke
 
738
gsave 10 dict begin
 
739
solid
 
740
1 setlinewidth
 
741
0.000 0.000 0.000 edgecolor
 
742
newpath 1061 293 moveto
 
743
1071 291 lineto
 
744
1061 287 lineto
 
745
closepath
 
746
fill
 
747
0.000 0.000 0.000 edgecolor
 
748
newpath 1061 293 moveto
 
749
1071 291 lineto
 
750
1061 287 lineto
 
751
closepath
 
752
stroke
 
753
end grestore
 
754
 
 
755
%       Command -> Class
 
756
newpath 1022 276 moveto
 
757
1041 268 1065 259 1084 252 curveto
 
758
stroke
 
759
gsave 10 dict begin
 
760
solid
 
761
1 setlinewidth
 
762
0.000 0.000 0.000 edgecolor
 
763
newpath 1085 255 moveto
 
764
1093 248 lineto
 
765
1082 249 lineto
 
766
closepath
 
767
fill
 
768
0.000 0.000 0.000 edgecolor
 
769
newpath 1085 255 moveto
 
770
1093 248 lineto
 
771
1082 249 lineto
 
772
closepath
 
773
stroke
 
774
end grestore
 
775
 
 
776
%       Cerrors -> Himsg
 
777
newpath 758 67 moveto
 
778
796 69 859 73 912 77 curveto
 
779
924 78 937 79 949 80 curveto
 
780
stroke
 
781
gsave 10 dict begin
 
782
solid
 
783
1 setlinewidth
 
784
0.000 0.000 0.000 edgecolor
 
785
newpath 949 83 moveto
 
786
959 81 lineto
 
787
949 77 lineto
 
788
closepath
 
789
fill
 
790
0.000 0.000 0.000 edgecolor
 
791
newpath 949 83 moveto
 
792
959 81 lineto
 
793
949 77 lineto
 
794
closepath
 
795
stroke
 
796
end grestore
 
797
 
 
798
%       Minicoq
 
799
gsave 10 dict begin
 
800
38 126 37 18 ellipse_path
 
801
stroke
 
802
gsave 10 dict begin
 
803
13 121 moveto
 
804
(Minicoq)
 
805
[12.48 3.84 6.96 3.84 6.24 6.96 6.96]
 
806
xshow
 
807
end grestore
 
808
end grestore
 
809
 
 
810
%       Fhimsg
 
811
gsave 10 dict begin
 
812
147 126 34 18 ellipse_path
 
813
stroke
 
814
gsave 10 dict begin
 
815
125 121 moveto
 
816
(Fhimsg)
 
817
[7.68 6.96 3.84 10.8 5.52 6.96]
 
818
xshow
 
819
end grestore
 
820
end grestore
 
821
 
 
822
%       Minicoq -> Fhimsg
 
823
newpath 76 126 moveto
 
824
84 126 93 126 102 126 curveto
 
825
stroke
 
826
gsave 10 dict begin
 
827
solid
 
828
1 setlinewidth
 
829
0.000 0.000 0.000 edgecolor
 
830
newpath 102 130 moveto
 
831
112 126 lineto
 
832
102 123 lineto
 
833
closepath
 
834
fill
 
835
0.000 0.000 0.000 edgecolor
 
836
newpath 102 130 moveto
 
837
112 126 lineto
 
838
102 123 lineto
 
839
closepath
 
840
stroke
 
841
end grestore
 
842
 
 
843
%       Metasyntax -> Vernacexpr
 
844
newpath 1144 277 moveto
 
845
1163 267 1189 252 1210 241 curveto
 
846
stroke
 
847
gsave 10 dict begin
 
848
solid
 
849
1 setlinewidth
 
850
0.000 0.000 0.000 edgecolor
 
851
newpath 1212 244 moveto
 
852
1219 236 lineto
 
853
1209 238 lineto
 
854
closepath
 
855
fill
 
856
0.000 0.000 0.000 edgecolor
 
857
newpath 1212 244 moveto
 
858
1219 236 lineto
 
859
1209 238 lineto
 
860
closepath
 
861
stroke
 
862
end grestore
 
863
 
 
864
%       Coqtop
 
865
gsave 10 dict begin
 
866
38 45 34 18 ellipse_path
 
867
stroke
 
868
gsave 10 dict begin
 
869
17 40 moveto
 
870
(Coqtop)
 
871
[9.36 6.96 6.96 3.84 6.96 6.96]
 
872
xshow
 
873
end grestore
 
874
end grestore
 
875
 
 
876
%       Coqinit
 
877
gsave 10 dict begin
 
878
147 72 34 18 ellipse_path
 
879
stroke
 
880
gsave 10 dict begin
 
881
126 67 moveto
 
882
(Coqinit)
 
883
[9.36 6.96 6.96 3.84 6.96 3.84 3.84]
 
884
xshow
 
885
end grestore
 
886
end grestore
 
887
 
 
888
%       Coqtop -> Coqinit
 
889
newpath 69 53 moveto
 
890
81 56 94 59 106 62 curveto
 
891
stroke
 
892
gsave 10 dict begin
 
893
solid
 
894
1 setlinewidth
 
895
0.000 0.000 0.000 edgecolor
 
896
newpath 105 65 moveto
 
897
116 65 lineto
 
898
107 59 lineto
 
899
closepath
 
900
fill
 
901
0.000 0.000 0.000 edgecolor
 
902
newpath 105 65 moveto
 
903
116 65 lineto
 
904
107 59 lineto
 
905
closepath
 
906
stroke
 
907
end grestore
 
908
 
 
909
%       Usage
 
910
gsave 10 dict begin
 
911
147 18 31 18 ellipse_path
 
912
stroke
 
913
gsave 10 dict begin
 
914
129 13 moveto
 
915
(Usage)
 
916
[10.08 5.52 6.24 6.72 6.24]
 
917
xshow
 
918
end grestore
 
919
end grestore
 
920
 
 
921
%       Coqtop -> Usage
 
922
newpath 69 37 moveto
 
923
81 34 95 31 108 28 curveto
 
924
stroke
 
925
gsave 10 dict begin
 
926
solid
 
927
1 setlinewidth
 
928
0.000 0.000 0.000 edgecolor
 
929
newpath 109 31 moveto
 
930
118 25 lineto
 
931
107 25 lineto
 
932
closepath
 
933
fill
 
934
0.000 0.000 0.000 edgecolor
 
935
newpath 109 31 moveto
 
936
118 25 lineto
 
937
107 25 lineto
 
938
closepath
 
939
stroke
 
940
end grestore
 
941
 
 
942
%       Coqinit -> Toplevel
 
943
newpath 181 72 moveto
 
944
190 72 199 72 208 72 curveto
 
945
stroke
 
946
gsave 10 dict begin
 
947
solid
 
948
1 setlinewidth
 
949
0.000 0.000 0.000 edgecolor
 
950
newpath 208 76 moveto
 
951
218 72 lineto
 
952
208 69 lineto
 
953
closepath
 
954
fill
 
955
0.000 0.000 0.000 edgecolor
 
956
newpath 208 76 moveto
 
957
218 72 lineto
 
958
208 69 lineto
 
959
closepath
 
960
stroke
 
961
end grestore
 
962
endpage
 
963
showpage
 
964
grestore
 
965
%%PageTrailer
 
966
%%EndPage: 1
 
967
%%Trailer
 
968
%%Pages: 1
 
969
end
 
970
restore
 
971
%%EOF