%!PS-Adobe-2.0 %%Creator: dot version uwin98 (01-26-98) %%For: (jacek) Jacek Chrzaszcz %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 577 240 %%EndComments %%BeginProlog save /DotDict 200 dict def DotDict begin %%BeginResource: procset /coord-font-family /Times-Roman def /default-font-family /Times-Roman def /coordfont coord-font-family findfont 8 scalefont def /InvScaleFactor 1.0 def /set_scale { dup 1 exch div /InvScaleFactor exch def dup scale } bind def % styles /solid { } bind def /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def /bold { 2 setlinewidth } bind def /filled { } bind def /unfilled { } bind def /rounded { } bind def /diagonals { } bind def % hooks for setting color /nodecolor { sethsbcolor } bind def /edgecolor { sethsbcolor } bind def /graphcolor { sethsbcolor } bind def /nopcolor {pop pop pop} bind def /beginpage { % i j npages /npages exch def /j exch def /i exch def /str 10 string def npages 1 gt { gsave coordfont setfont 0 0 moveto (\() show i str cvs show (,) show j str cvs show (\)) show grestore } if } bind def /set_font { findfont exch scalefont setfont } def % draw aligned label in bounding box aligned to current point % alignfactor tells what fraction to place on the left. % -.5 is centered. /alignedtext { % text labelwidth fontsz alignfactor /alignfactor exch def /fontsz exch def /width exch def /text exch def gsave % even if node or edge is dashed, don't paint text with dashes [] 0 setdash currentpoint newpath moveto text stringwidth pop alignfactor mul fontsz -.3 mul rmoveto text show grestore } def /boxprim { % xcorner ycorner xsize ysize 4 2 roll moveto 2 copy exch 0 rlineto 0 exch rlineto pop neg 0 rlineto closepath } bind def /ellipse_path { /ry exch def /rx exch def /y exch def /x exch def matrix currentmatrix newpath x y translate rx ry scale 0 0 1 0 360 arc setmatrix } bind def /endpage { showpage } bind def /layercolorseq [ % layer color sequence - darkest to lightest [0 0 0] [.2 .8 .8] [.4 .8 .8] [.6 .8 .8] [.8 .8 .8] ] def /setlayer {/maxlayer exch def /curlayer exch def layercolorseq curlayer get aload pop sethsbcolor /nodecolor {nopcolor} def /edgecolor {nopcolor} def /graphcolor {nopcolor} def } bind def /onlayer { curlayer ne {invis} if } def /onlayers { /myupper exch def /mylower exch def curlayer mylower lt curlayer myupper gt or {invis} if } def /curlayer 0 def %%EndResource %%EndProlog %%BeginSetup 14 default-font-family set_font % /arrowlength 10 def % /arrowwidth 5 def %%EndSetup %%Page: 1 1 %%PageBoundingBox: 36 36 577 240 gsave 35 35 542 205 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.6683 set_scale 0 0 translate 0 rotate 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Vernacinterp gsave 10 dict begin 645 180 46 18 ellipse_path stroke gsave 10 dict begin 645 181 moveto (Vernacinterp) 72 14.00 -0.50 alignedtext end grestore end grestore % Command gsave 10 dict begin 768 96 39 18 ellipse_path stroke gsave 10 dict begin 768 97 moveto (Command) 58 14.00 -0.50 alignedtext end grestore end grestore % Vernacinterp -> Command newpath 675 166 moveto 681 163 688 159 692 156 curveto 706 147 725 131 742 118 curveto stroke newpath 740 117 moveto 749 112 lineto 743 120 lineto closepath gsave 0 setgray stroke grestore fill % Himsg gsave 10 dict begin 768 204 29 18 ellipse_path stroke gsave 10 dict begin 768 205 moveto (Himsg) 37 14.00 -0.50 alignedtext end grestore end grestore % Vernacinterp -> Himsg newpath 687 188 moveto 701 190 717 194 731 197 curveto stroke newpath 731 194 moveto 740 199 lineto 730 199 lineto closepath gsave 0 setgray stroke grestore fill % Vernacentries gsave 10 dict begin 513 97 49 18 ellipse_path stroke gsave 10 dict begin 513 98 moveto (Vernacentries) 77 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Vernacinterp newpath 536 113 moveto 554 127 581 145 598 156 curveto 601 158 603 159 607 161 curveto stroke newpath 608 159 moveto 616 166 lineto 606 163 lineto closepath gsave 0 setgray stroke grestore fill % Discharge gsave 10 dict begin 645 126 38 18 ellipse_path stroke gsave 10 dict begin 645 127 moveto (Discharge) 56 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Discharge newpath 555 106 moveto 570 109 586 113 601 116 curveto stroke newpath 601 113 moveto 610 118 lineto 600 118 lineto closepath gsave 0 setgray stroke grestore fill % Metasyntax gsave 10 dict begin 645 72 43 18 ellipse_path stroke gsave 10 dict begin 645 73 moveto (Metasyntax) 65 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Metasyntax newpath 557 89 moveto 570 87 583 84 596 81 curveto stroke newpath 596 79 moveto 606 79 lineto 597 83 lineto closepath gsave 0 setgray stroke grestore fill % Record gsave 10 dict begin 645 18 30 18 ellipse_path stroke gsave 10 dict begin 645 19 moveto (Record) 40 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Record newpath 537 81 moveto 556 69 582 52 598 42 curveto 602 39 609 36 615 33 curveto stroke newpath 611 32 moveto 621 30 lineto 613 37 lineto closepath gsave 0 setgray stroke grestore fill % Record -> Command newpath 669 29 moveto 677 34 686 38 692 42 curveto 706 51 724 63 739 75 curveto stroke newpath 741 73 moveto 747 81 lineto 738 77 lineto closepath gsave 0 setgray stroke grestore fill % Vernac gsave 10 dict begin 513 178 30 18 ellipse_path stroke gsave 10 dict begin 513 179 moveto (Vernac) 40 14.00 -0.50 alignedtext end grestore end grestore % Vernac -> Vernacinterp newpath 544 178 moveto 557 178 573 179 588 179 curveto stroke newpath 588 177 moveto 598 179 lineto 588 182 lineto closepath gsave 0 setgray stroke grestore fill % Toplevel gsave 10 dict begin 239 232 35 18 ellipse_path stroke gsave 10 dict begin 239 233 moveto (Toplevel) 49 14.00 -0.50 alignedtext end grestore end grestore % Mltop gsave 10 dict begin 369 259 27 18 ellipse_path stroke gsave 10 dict begin 369 260 moveto (Mltop) 34 14.00 -0.50 alignedtext end grestore end grestore % Toplevel -> Mltop newpath 271 239 moveto 290 243 314 248 334 252 curveto stroke newpath 334 249 moveto 343 254 lineto 333 254 lineto closepath gsave 0 setgray stroke grestore fill % Protectedtoplevel gsave 10 dict begin 369 205 59 18 ellipse_path stroke gsave 10 dict begin 369 206 moveto (Protectedtoplevel) 97 14.00 -0.50 alignedtext end grestore end grestore % Toplevel -> Protectedtoplevel newpath 271 225 moveto 283 223 297 220 310 217 curveto stroke newpath 310 215 moveto 320 215 lineto 311 219 lineto closepath gsave 0 setgray stroke grestore fill % Protectedtoplevel -> Vernac newpath 419 196 moveto 438 193 458 188 475 185 curveto stroke newpath 474 183 moveto 484 184 lineto 474 188 lineto closepath gsave 0 setgray stroke grestore fill % Errors gsave 10 dict begin 513 232 27 18 ellipse_path stroke gsave 10 dict begin 513 233 moveto (Errors) 34 14.00 -0.50 alignedtext end grestore end grestore % Protectedtoplevel -> Errors newpath 419 214 moveto 439 217 460 222 478 225 curveto stroke newpath 477 222 moveto 486 227 lineto 476 227 lineto closepath gsave 0 setgray stroke grestore fill % Errors -> Himsg newpath 540 229 moveto 587 224 681 214 732 208 curveto stroke newpath 729 206 moveto 739 207 lineto 729 211 lineto closepath gsave 0 setgray stroke grestore fill % Minicoq gsave 10 dict begin 34 286 34 18 ellipse_path stroke gsave 10 dict begin 34 287 moveto (Minicoq) 47 14.00 -0.50 alignedtext end grestore end grestore % Fhimsg gsave 10 dict begin 136 286 31 18 ellipse_path stroke gsave 10 dict begin 136 287 moveto (Fhimsg) 42 14.00 -0.50 alignedtext end grestore end grestore % Minicoq -> Fhimsg newpath 68 286 moveto 77 286 86 286 94 286 curveto stroke newpath 94 284 moveto 104 286 lineto 94 289 lineto closepath gsave 0 setgray stroke grestore fill % Coqtop gsave 10 dict begin 34 205 31 18 ellipse_path stroke gsave 10 dict begin 34 206 moveto (Coqtop) 41 14.00 -0.50 alignedtext end grestore end grestore % Coqinit gsave 10 dict begin 136 232 31 18 ellipse_path stroke gsave 10 dict begin 136 233 moveto (Coqinit) 42 14.00 -0.50 alignedtext end grestore end grestore % Coqtop -> Coqinit newpath 62 213 moveto 73 216 86 219 98 222 curveto stroke newpath 98 219 moveto 107 225 lineto 97 224 lineto closepath gsave 0 setgray stroke grestore fill % Usage gsave 10 dict begin 136 178 27 18 ellipse_path stroke gsave 10 dict begin 136 179 moveto (Usage) 34 14.00 -0.50 alignedtext end grestore end grestore % Coqtop -> Usage newpath 62 197 moveto 74 194 88 190 101 187 curveto stroke newpath 100 185 moveto 110 185 lineto 101 190 lineto closepath gsave 0 setgray stroke grestore fill % Coqinit -> Toplevel newpath 168 232 moveto 176 232 185 232 194 232 curveto stroke newpath 194 230 moveto 204 232 lineto 194 235 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF