graphes de dependances

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@162 85f007b7-540e-0410-9357-904b9bb8a0f7

3 files changed, 1011 insertions, 0 deletions

diff --git a/doc/parsing.dep.ps b/doc/parsing.dep.ps
new file mode 100644
index 000000000..95be92210
--- /dev/null
+++ b/doc/parsing.dep.ps
@@ -0,0 +1,331 @@
+%!PS-Adobe-2.0
+%%Creator: dot version uwin98 (01-26-98)
+%%For: Bill Gates
+%%Title: G
+%%Pages: (atend)
+%%BoundingBox: 36 36 576 158
+%%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 576 158
+gsave
+35 35 541 123 boxprim clip newpath
+36 36 translate
+0 0 1 beginpage
+0.8571 set_scale
+0 0 translate 0 rotate
+0.000 0.000 0.000 graphcolor
+14.00 /Times-Roman set_font
+
+%	Pcoq
+gsave 10 dict begin
+507 72 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+507 73 moveto (Pcoq) 28 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Coqast
+gsave 10 dict begin
+600 72 30 18 ellipse_path
+stroke
+gsave 10 dict begin
+600 73 moveto (Coqast) 38 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Pcoq -> Coqast
+newpath 534 72 moveto
+542 72 551 72 560 72 curveto
+stroke
+newpath 560 70 moveto
+570 72 lineto
+560 75 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Extend
+gsave 10 dict begin
+321 72 30 18 ellipse_path
+stroke
+gsave 10 dict begin
+321 73 moveto (Extend) 39 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Ast
+gsave 10 dict begin
+417 72 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+417 73 moveto (Ast) 19 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Extend -> Ast
+newpath 351 72 moveto
+360 72 371 72 380 72 curveto
+stroke
+newpath 380 70 moveto
+390 72 lineto
+380 75 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Ast -> Pcoq
+newpath 444 72 moveto
+452 72 461 72 470 72 curveto
+stroke
+newpath 470 70 moveto
+480 72 lineto
+470 75 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Termast
+gsave 10 dict begin
+219 124 33 18 ellipse_path
+stroke
+gsave 10 dict begin
+219 125 moveto (Termast) 45 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Termast -> Ast
+newpath 251 120 moveto
+282 116 327 109 354 102 curveto
+354 102 371 94 387 86 curveto
+stroke
+newpath 385 84 moveto
+395 82 lineto
+387 89 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Printer
+gsave 10 dict begin
+120 97 29 18 ellipse_path
+stroke
+gsave 10 dict begin
+120 98 moveto (Printer) 38 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Printer -> Termast
+newpath 147 104 moveto
+157 107 169 110 180 113 curveto
+stroke
+newpath 180 110 moveto
+189 116 lineto
+179 115 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Esyntax
+gsave 10 dict begin
+219 70 33 18 ellipse_path
+stroke
+gsave 10 dict begin
+219 71 moveto (Esyntax) 45 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Printer -> Esyntax
+newpath 147 90 moveto
+157 87 169 84 180 81 curveto
+stroke
+newpath 179 79 moveto
+189 78 lineto
+180 84 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Esyntax -> Extend
+newpath 252 71 moveto
+262 71 272 71 281 71 curveto
+stroke
+newpath 281 69 moveto
+291 71 lineto
+281 74 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Pretty
+gsave 10 dict begin
+27 97 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+27 98 moveto (Pretty) 33 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Pretty -> Printer
+newpath 54 97 moveto
+62 97 71 97 80 97 curveto
+stroke
+newpath 80 95 moveto
+90 97 lineto
+80 100 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Astterm
+gsave 10 dict begin
+321 18 33 18 ellipse_path
+stroke
+gsave 10 dict begin
+321 19 moveto (Astterm) 45 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Astterm -> Ast
+newpath 344 31 moveto
+357 38 374 48 388 56 curveto
+stroke
+newpath 388 53 moveto
+396 60 lineto
+386 58 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+endpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+%%Pages: 1
+end
+restore
+%%EOF
diff --git a/doc/pretyping.dep.ps b/doc/pretyping.dep.ps
new file mode 100644
index 000000000..5840820ab
--- /dev/null
+++ b/doc/pretyping.dep.ps
@@ -0,0 +1,350 @@
+%!PS-Adobe-2.0
+%%Creator: dot version uwin98 (01-26-98)
+%%For: Bill Gates
+%%Title: G
+%%Pages: (atend)
+%%BoundingBox: 36 36 576 153
+%%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 576 153
+gsave
+35 35 541 118 boxprim clip newpath
+36 36 translate
+0 0 1 beginpage
+0.8207 set_scale
+0 0 translate 0 rotate
+0.000 0.000 0.000 graphcolor
+14.00 /Times-Roman set_font
+
+%	Multcase
+gsave 10 dict begin
+257 124 36 18 ellipse_path
+stroke
+gsave 10 dict begin
+257 125 moveto (Multcase) 51 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Evarutil
+gsave 10 dict begin
+370 124 33 18 ellipse_path
+stroke
+gsave 10 dict begin
+370 125 moveto (Evarutil) 45 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Multcase -> Evarutil
+newpath 293 124 moveto
+304 124 316 124 327 124 curveto
+stroke
+newpath 327 122 moveto
+337 124 lineto
+327 127 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Pretype_errors
+gsave 10 dict begin
+498 124 51 18 ellipse_path
+stroke
+gsave 10 dict begin
+498 125 moveto (Pretype_errors) 82 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Evarutil -> Pretype_errors
+newpath 403 124 moveto
+413 124 425 124 436 124 curveto
+stroke
+newpath 436 122 moveto
+446 124 lineto
+436 127 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Recordops
+gsave 10 dict begin
+370 70 40 18 ellipse_path
+stroke
+gsave 10 dict begin
+370 71 moveto (Recordops) 59 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Classops
+gsave 10 dict begin
+498 70 35 18 ellipse_path
+stroke
+gsave 10 dict begin
+498 71 moveto (Classops) 49 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Recordops -> Classops
+newpath 410 70 moveto
+424 70 440 70 454 70 curveto
+stroke
+newpath 453 68 moveto
+463 70 lineto
+453 73 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Pretyping
+gsave 10 dict begin
+38 72 37 18 ellipse_path
+stroke
+gsave 10 dict begin
+38 73 moveto (Pretyping) 54 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Pretyping -> Multcase
+newpath 65 85 moveto
+81 91 99 99 112 102 curveto
+139 109 183 115 215 119 curveto
+stroke
+newpath 212 116 moveto
+222 120 lineto
+212 121 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Coercion
+gsave 10 dict begin
+148 72 36 18 ellipse_path
+stroke
+gsave 10 dict begin
+148 73 moveto (Coercion) 51 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Pretyping -> Coercion
+newpath 76 72 moveto
+84 72 93 72 102 72 curveto
+stroke
+newpath 102 70 moveto
+112 72 lineto
+102 75 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Retyping
+gsave 10 dict begin
+148 18 36 18 ellipse_path
+stroke
+gsave 10 dict begin
+148 19 moveto (Retyping) 51 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Pretyping -> Retyping
+newpath 64 59 moveto
+79 51 98 42 114 35 curveto
+stroke
+newpath 112 33 moveto
+122 31 lineto
+114 38 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Evarconv
+gsave 10 dict begin
+257 70 37 18 ellipse_path
+stroke
+gsave 10 dict begin
+257 71 moveto (Evarconv) 53 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Coercion -> Evarconv
+newpath 184 71 moveto
+192 71 201 71 210 71 curveto
+stroke
+newpath 210 69 moveto
+220 71 lineto
+210 74 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Rawterm
+gsave 10 dict begin
+622 124 36 18 ellipse_path
+stroke
+gsave 10 dict begin
+622 125 moveto (Rawterm) 51 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Pretype_errors -> Rawterm
+newpath 550 124 moveto
+559 124 568 124 576 124 curveto
+stroke
+newpath 576 122 moveto
+586 124 lineto
+576 127 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Evarconv -> Evarutil
+newpath 283 83 moveto
+299 91 320 101 337 108 curveto
+stroke
+newpath 337 105 moveto
+345 112 lineto
+335 110 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Evarconv -> Recordops
+newpath 294 70 moveto
+302 70 311 70 320 70 curveto
+stroke
+newpath 320 68 moveto
+330 70 lineto
+320 73 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+endpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+%%Pages: 1
+end
+restore
+%%EOF
diff --git a/doc/toplevel.dep.ps b/doc/toplevel.dep.ps
new file mode 100644
index 000000000..55b090edb
--- /dev/null
+++ b/doc/toplevel.dep.ps
@@ -0,0 +1,330 @@
+%!PS-Adobe-2.0
+%%Creator: dot version uwin98 (01-26-98)
+%%For: Bill Gates
+%%Title: G
+%%Pages: (atend)
+%%BoundingBox: 36 36 577 213
+%%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 213
+gsave
+35 35 542 178 boxprim clip newpath
+36 36 translate
+0 0 1 beginpage
+0.9278 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
+441 118 46 18 ellipse_path
+stroke
+gsave 10 dict begin
+441 119 moveto (Vernacinterp) 72 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Himsg
+gsave 10 dict begin
+553 145 29 18 ellipse_path
+stroke
+gsave 10 dict begin
+553 146 moveto (Himsg) 37 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Vernacinterp -> Himsg
+newpath 480 128 moveto
+492 130 505 133 517 136 curveto
+stroke
+newpath 517 133 moveto
+526 138 lineto
+516 138 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Vernacentries
+gsave 10 dict begin
+309 164 49 18 ellipse_path
+stroke
+gsave 10 dict begin
+309 165 moveto (Vernacentries) 77 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Vernacentries -> Vernacinterp
+newpath 345 152 moveto
+361 146 380 139 397 133 curveto
+stroke
+newpath 396 131 moveto
+406 130 lineto
+397 136 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Vernac
+gsave 10 dict begin
+309 72 30 18 ellipse_path
+stroke
+gsave 10 dict begin
+309 73 moveto (Vernac) 40 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Vernac -> Vernacinterp
+newpath 335 81 moveto
+353 87 377 95 397 103 curveto
+stroke
+newpath 397 100 moveto
+406 106 lineto
+396 105 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Toplevel
+gsave 10 dict begin
+35 91 35 18 ellipse_path
+stroke
+gsave 10 dict begin
+35 92 moveto (Toplevel) 49 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Mltop
+gsave 10 dict begin
+165 118 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+165 119 moveto (Mltop) 34 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Toplevel -> Mltop
+newpath 67 98 moveto
+86 102 110 107 130 111 curveto
+stroke
+newpath 130 108 moveto
+139 113 lineto
+129 113 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Protectedtoplevel
+gsave 10 dict begin
+165 64 59 18 ellipse_path
+stroke
+gsave 10 dict begin
+165 65 moveto (Protectedtoplevel) 97 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Toplevel -> Protectedtoplevel
+newpath 67 84 moveto
+79 82 93 79 106 76 curveto
+stroke
+newpath 106 74 moveto
+116 74 lineto
+107 78 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Mltop -> Vernacinterp
+newpath 193 118 moveto
+238 118 328 118 386 118 curveto
+stroke
+newpath 384 116 moveto
+394 118 lineto
+384 121 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Protectedtoplevel -> Vernac
+newpath 223 67 moveto
+239 68 255 69 270 69 curveto
+stroke
+newpath 269 66 moveto
+279 70 lineto
+269 71 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Errors
+gsave 10 dict begin
+309 18 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+309 19 moveto (Errors) 34 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Protectedtoplevel -> Errors
+newpath 206 51 moveto
+228 44 255 35 276 29 curveto
+stroke
+newpath 274 27 moveto
+284 26 lineto
+276 32 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Minicoq
+gsave 10 dict begin
+441 172 34 18 ellipse_path
+stroke
+gsave 10 dict begin
+441 173 moveto (Minicoq) 47 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Minicoq -> Himsg
+newpath 472 164 moveto
+486 161 502 157 517 153 curveto
+stroke
+newpath 516 151 moveto
+526 151 lineto
+517 156 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+endpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+%%Pages: 1
+end
+restore
+%%EOF