%!PS-Adobe-2.0 %%Creator: dot version 1.7.16 (Wed Feb 6 02:14:52 MST 2002) %%For: (filliatr) Jean-Christophe Filliatre %%Title: G %%Pages: (atend) %%BoundingBox: 35 35 577 180 %%EndComments save %%BeginProlog /DotDict 200 dict def DotDict begin /setupLatin1 { mark /EncodingVector 256 array def EncodingVector 0 ISOLatin1Encoding 0 255 getinterval putinterval EncodingVector dup 306 /AE dup 301 /Aacute dup 302 /Acircumflex dup 304 /Adieresis dup 300 /Agrave dup 305 /Aring dup 303 /Atilde dup 307 /Ccedilla dup 311 /Eacute dup 312 /Ecircumflex dup 313 /Edieresis dup 310 /Egrave dup 315 /Iacute dup 316 /Icircumflex dup 317 /Idieresis dup 314 /Igrave dup 334 /Udieresis dup 335 /Yacute dup 376 /thorn dup 337 /germandbls dup 341 /aacute dup 342 /acircumflex dup 344 /adieresis dup 346 /ae dup 340 /agrave dup 345 /aring dup 347 /ccedilla dup 351 /eacute dup 352 /ecircumflex dup 353 /edieresis dup 350 /egrave dup 355 /iacute dup 356 /icircumflex dup 357 /idieresis dup 354 /igrave dup 360 /dcroat dup 361 /ntilde dup 363 /oacute dup 364 /ocircumflex dup 366 /odieresis dup 362 /ograve dup 365 /otilde dup 370 /oslash dup 372 /uacute dup 373 /ucircumflex dup 374 /udieresis dup 371 /ugrave dup 375 /yacute dup 377 /ydieresis % Set up ISO Latin 1 character encoding /starnetISO { dup dup findfont dup length dict begin { 1 index /FID ne { def }{ pop pop } ifelse } forall /Encoding EncodingVector def currentdict end definefont } def /Times-Roman starnetISO def /Times-Italic starnetISO def /Times-Bold starnetISO def /Times-BoldItalic starnetISO def /Helvetica starnetISO def /Helvetica-Oblique starnetISO def /Helvetica-Bold starnetISO def /Helvetica-BoldOblique starnetISO def /Courier starnetISO def /Courier-Oblique starnetISO def /Courier-Bold starnetISO def /Courier-BoldOblique starnetISO def cleartomark } bind def %%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 /alignedtext { % width adj text /text exch def /adj exch def /width exch def gsave width 0 gt { text stringwidth pop adj mul 0 rmoveto } if [] 0 setdash 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 1 setmiterlimit % /arrowlength 10 def % /arrowwidth 5 def % make sure pdfmark is harmless for PS-interpreters other than Distiller /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse % make '<<' and '>>' safe on PS Level 1 devices /languagelevel where {pop languagelevel}{1} ifelse 2 lt { userdict (<<) cvn ([) cvn load put userdict (>>) cvn ([) cvn load put } if %%EndSetup %%Page: 1 1 %%PageBoundingBox: 36 36 577 180 %%PageOrientation: Portrait gsave 35 35 542 145 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.4180 set_scale 0 0 translate 0 rotate [ /CropBox [36 36 577 180] /PAGES pdfmark 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Vernacinterp gsave 10 dict begin 947 135 56 18 ellipse_path stroke gsave 10 dict begin 947 130 moveto 91 -0.5 (Vernacinterp) alignedtext end grestore end grestore % Himsg gsave 10 dict begin 1092 60 33 18 ellipse_path stroke gsave 10 dict begin 1092 55 moveto 45 -0.5 (Himsg) alignedtext end grestore end grestore % Vernacinterp -> Himsg newpath 979 120 moveto 991 114 1003 109 1004 108 curveto 1015 103 1042 88 1063 76 curveto stroke 0.000 0.000 0.000 edgecolor newpath 1059 75 moveto 1069 73 lineto 1061 80 lineto closepath fill 0.000 0.000 0.000 edgecolor % Vernacexpr gsave 10 dict begin 1232 179 51 18 ellipse_path stroke gsave 10 dict begin 1232 174 moveto 81 -0.5 (Vernacexpr) alignedtext end grestore end grestore % Vernacinterp -> Vernacexpr newpath 1002 139 moveto 1056 143 1131 149 1144 152 curveto 1159 154 1173 159 1187 163 curveto stroke 0.000 0.000 0.000 edgecolor newpath 1187 160 moveto 1196 166 lineto 1186 165 lineto closepath fill 0.000 0.000 0.000 edgecolor % Vernacentries gsave 10 dict begin 795 158 58 18 ellipse_path stroke gsave 10 dict begin 795 153 moveto 95 -0.5 (Vernacentries) alignedtext end grestore end grestore % Vernacentries -> Vernacinterp newpath 848 150 moveto 860 148 873 146 886 144 curveto stroke 0.000 0.000 0.000 edgecolor newpath 886 142 moveto 896 143 lineto 886 146 lineto closepath fill 0.000 0.000 0.000 edgecolor % Discharge gsave 10 dict begin 947 287 45 18 ellipse_path stroke gsave 10 dict begin 947 282 moveto 68 -0.5 (Discharge) alignedtext end grestore end grestore % Vernacentries -> Discharge newpath 809 176 moveto 826 197 857 233 890 258 curveto 895 262 902 266 908 269 curveto stroke 0.000 0.000 0.000 edgecolor newpath 909 267 moveto 917 273 lineto 907 271 lineto closepath fill 0.000 0.000 0.000 edgecolor % Metasyntax gsave 10 dict begin 1092 179 51 18 ellipse_path stroke gsave 10 dict begin 1092 174 moveto 81 -0.5 (Metasyntax) alignedtext end grestore end grestore % Vernacentries -> Metasyntax newpath 852 162 moveto 903 166 978 171 1030 174 curveto stroke 0.000 0.000 0.000 edgecolor newpath 1031 172 moveto 1041 175 lineto 1031 177 lineto closepath fill 0.000 0.000 0.000 edgecolor % Mltop gsave 10 dict begin 947 81 32 18 ellipse_path stroke gsave 10 dict begin 947 76 moveto 42 -0.5 (Mltop) alignedtext end grestore end grestore % Vernacentries -> Mltop newpath 825 142 moveto 848 130 878 114 890 108 curveto 895 106 905 101 915 96 curveto stroke 0.000 0.000 0.000 edgecolor newpath 912 95 moveto 922 93 lineto 914 99 lineto closepath fill 0.000 0.000 0.000 edgecolor % Record gsave 10 dict begin 947 231 35 18 ellipse_path stroke gsave 10 dict begin 947 226 moveto 49 -0.5 (Record) alignedtext end grestore end grestore % Vernacentries -> Record newpath 827 173 moveto 851 186 886 202 913 214 curveto stroke 0.000 0.000 0.000 edgecolor newpath 913 211 moveto 921 218 lineto 911 216 lineto closepath fill 0.000 0.000 0.000 edgecolor % Class gsave 10 dict begin 1232 283 28 18 ellipse_path stroke gsave 10 dict begin 1232 278 moveto 34 -0.5 (Class) alignedtext end grestore end grestore % Discharge -> Class newpath 983 298 moveto 1004 305 1029 312 1040 314 curveto 1086 320 1099 321 1144 314 curveto 1155 312 1179 304 1198 296 curveto stroke 0.000 0.000 0.000 edgecolor newpath 1198 293 moveto 1208 292 lineto 1200 298 lineto closepath fill 0.000 0.000 0.000 edgecolor % Recordobj gsave 10 dict begin 1092 287 47 18 ellipse_path stroke gsave 10 dict begin 1092 282 moveto 72 -0.5 (Recordobj) alignedtext end grestore end grestore % Discharge -> Recordobj newpath 992 287 moveto 1006 287 1021 287 1035 287 curveto stroke 0.000 0.000 0.000 edgecolor newpath 1035 285 moveto 1045 287 lineto 1035 290 lineto closepath fill 0.000 0.000 0.000 edgecolor % Metasyntax -> Vernacexpr newpath 1144 179 moveto 1153 179 1161 179 1170 179 curveto stroke 0.000 0.000 0.000 edgecolor newpath 1170 177 moveto 1180 179 lineto 1170 182 lineto closepath fill 0.000 0.000 0.000 edgecolor % Command gsave 10 dict begin 1092 233 47 18 ellipse_path stroke gsave 10 dict begin 1092 228 moveto 73 -0.5 (Command) alignedtext end grestore end grestore % Record -> Command newpath 983 231 moveto 999 231 1017 232 1034 232 curveto stroke 0.000 0.000 0.000 edgecolor newpath 1034 230 moveto 1044 232 lineto 1034 235 lineto closepath fill 0.000 0.000 0.000 edgecolor % Vernac gsave 10 dict begin 614 145 36 18 ellipse_path stroke gsave 10 dict begin 614 140 moveto 50 -0.5 (Vernac) alignedtext end grestore end grestore % Vernac -> Vernacentries newpath 650 148 moveto 672 149 701 151 728 153 curveto stroke 0.000 0.000 0.000 edgecolor newpath 728 151 moveto 738 154 lineto 728 155 lineto closepath fill 0.000 0.000 0.000 edgecolor % Toplevel gsave 10 dict begin 275 72 40 18 ellipse_path stroke gsave 10 dict begin 275 67 moveto 59 -0.5 (Toplevel) alignedtext end grestore end grestore % Protectedtoplevel gsave 10 dict begin 422 72 69 18 ellipse_path stroke gsave 10 dict begin 422 67 moveto 117 -0.5 (Protectedtoplevel) alignedtext end grestore end grestore % Toplevel -> Protectedtoplevel newpath 316 72 moveto 324 72 333 72 342 72 curveto stroke 0.000 0.000 0.000 edgecolor newpath 342 70 moveto 352 72 lineto 342 75 lineto closepath fill 0.000 0.000 0.000 edgecolor % Protectedtoplevel -> Vernac newpath 461 87 moveto 496 100 545 118 578 131 curveto stroke 0.000 0.000 0.000 edgecolor newpath 577 128 moveto 585 134 lineto 575 132 lineto closepath fill 0.000 0.000 0.000 edgecolor % Cerrors gsave 10 dict begin 795 42 36 18 ellipse_path stroke gsave 10 dict begin 795 37 moveto 51 -0.5 (Cerrors) alignedtext end grestore end grestore % Protectedtoplevel -> Cerrors newpath 490 68 moveto 547 65 629 60 700 53 curveto 717 52 735 50 751 48 curveto stroke 0.000 0.000 0.000 edgecolor newpath 750 46 moveto 760 47 lineto 750 51 lineto closepath fill 0.000 0.000 0.000 edgecolor % Line_oriented_parser gsave 10 dict begin 614 26 85 18 ellipse_path stroke gsave 10 dict begin 614 21 moveto 149 -0.5 (Line_oriented_parser) alignedtext end grestore end grestore % Protectedtoplevel -> Line_oriented_parser newpath 473 60 moveto 496 55 524 48 548 42 curveto stroke 0.000 0.000 0.000 edgecolor newpath 547 40 moveto 557 40 lineto 548 45 lineto closepath fill 0.000 0.000 0.000 edgecolor % Command -> Vernacexpr newpath 1126 220 moveto 1144 213 1168 204 1188 196 curveto stroke 0.000 0.000 0.000 edgecolor newpath 1187 194 moveto 1197 192 lineto 1189 198 lineto closepath fill 0.000 0.000 0.000 edgecolor % Command -> Class newpath 1127 245 moveto 1149 253 1177 263 1199 271 curveto stroke 0.000 0.000 0.000 edgecolor newpath 1199 268 moveto 1207 274 lineto 1197 273 lineto closepath fill 0.000 0.000 0.000 edgecolor % Cerrors -> Himsg newpath 832 44 moveto 882 47 972 53 1004 54 curveto 1019 55 1035 56 1049 57 curveto stroke 0.000 0.000 0.000 edgecolor newpath 1049 55 moveto 1059 58 lineto 1049 59 lineto closepath fill 0.000 0.000 0.000 edgecolor % Minicoq gsave 10 dict begin 48 126 39 18 ellipse_path stroke gsave 10 dict begin 48 121 moveto 57 -0.5 (Minicoq) alignedtext end grestore end grestore % Fhimsg gsave 10 dict begin 161 126 36 18 ellipse_path stroke gsave 10 dict begin 161 121 moveto 51 -0.5 (Fhimsg) alignedtext end grestore end grestore % Minicoq -> Fhimsg newpath 88 126 moveto 97 126 106 126 114 126 curveto stroke 0.000 0.000 0.000 edgecolor newpath 114 124 moveto 124 126 lineto 114 129 lineto closepath fill 0.000 0.000 0.000 edgecolor % Coqtop gsave 10 dict begin 48 45 36 18 ellipse_path stroke gsave 10 dict begin 48 40 moveto 50 -0.5 (Coqtop) alignedtext end grestore end grestore % Coqinit gsave 10 dict begin 161 72 36 18 ellipse_path stroke gsave 10 dict begin 161 67 moveto 50 -0.5 (Coqinit) alignedtext end grestore end grestore % Coqtop -> Coqinit newpath 81 53 moveto 93 56 106 59 118 62 curveto stroke 0.000 0.000 0.000 edgecolor newpath 119 60 moveto 128 64 lineto 118 64 lineto closepath fill 0.000 0.000 0.000 edgecolor % Usage gsave 10 dict begin 161 18 32 18 ellipse_path stroke gsave 10 dict begin 161 13 moveto 42 -0.5 (Usage) alignedtext end grestore end grestore % Coqtop -> Usage newpath 81 37 moveto 94 34 109 31 122 27 curveto stroke 0.000 0.000 0.000 edgecolor newpath 121 25 moveto 131 25 lineto 122 30 lineto closepath fill 0.000 0.000 0.000 edgecolor % Coqinit -> Toplevel newpath 197 72 moveto 206 72 215 72 224 72 curveto stroke 0.000 0.000 0.000 edgecolor newpath 224 70 moveto 234 72 lineto 224 75 lineto closepath fill 0.000 0.000 0.000 edgecolor endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF