MAJ de graphes de dependance pour la doc des sources

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

1 files changed, 192 insertions, 192 deletions

diff --git a/doc/toplevel.dep.ps b/doc/toplevel.dep.ps
index f1b8918874..ef9c5f1637 100644
--- a/doc/toplevel.dep.ps
+++ b/doc/toplevel.dep.ps
@@ -3,7 +3,7 @@
 %%For: Gros nain
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 36 36 577 190
+%%BoundingBox: 36 36 576 260
 %%EndComments
 %%BeginProlog
 save
@@ -139,428 +139,428 @@ def
 % /arrowwidth 5 def
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 577 190
+%%PageBoundingBox: 36 36 576 260
 gsave
-35 35 542 155 boxprim clip newpath
+35 35 541 225 boxprim clip newpath
 36 36 translate
 0 0 1 beginpage
-0.6150 set_scale
+0.6353 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
-715 95 46 18 ellipse_path
+687 234 46 18 ellipse_path
 stroke
 gsave 10 dict begin
-715 96 moveto (Vernacinterp) 72 14.00 -0.50 alignedtext
+687 235 moveto (Vernacinterp) 72 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Command
 gsave 10 dict begin
-838 124 39 18 ellipse_path
+810 203 39 18 ellipse_path
 stroke
 gsave 10 dict begin
-838 125 moveto (Command) 58 14.00 -0.50 alignedtext
+810 204 moveto (Command) 58 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Vernacinterp -> Command
-newpath 755 104 moveto
-767 107 781 110 794 114 curveto
+newpath 726 224 moveto
+739 221 753 218 766 214 curveto
 stroke
-newpath 794 111 moveto
-803 116 lineto
-793 116 lineto
+newpath 765 212 moveto
+775 212 lineto
+766 217 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Himsg
 gsave 10 dict begin
-838 70 29 18 ellipse_path
+810 257 29 18 ellipse_path
 stroke
 gsave 10 dict begin
-838 71 moveto (Himsg) 37 14.00 -0.50 alignedtext
+810 258 moveto (Himsg) 37 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Vernacinterp -> Himsg
-newpath 756 87 moveto
-771 84 787 80 801 78 curveto
+newpath 729 242 moveto
+744 244 759 248 773 250 curveto
 stroke
-newpath 800 76 moveto
-810 76 lineto
-801 81 lineto
+newpath 773 247 moveto
+782 252 lineto
+772 252 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Vernacentries
 gsave 10 dict begin
-253 126 49 18 ellipse_path
+534 126 49 18 ellipse_path
 stroke
 gsave 10 dict begin
-253 127 moveto (Vernacentries) 77 14.00 -0.50 alignedtext
+534 127 moveto (Vernacentries) 77 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
+%	Vernacentries -> Vernacinterp
+newpath 554 143 moveto
+578 162 616 193 640 210 curveto
+643 212 647 215 652 217 curveto
+stroke
+newpath 650 213 moveto
+658 220 lineto
+648 218 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Discharge
+gsave 10 dict begin
+687 126 38 18 ellipse_path
+stroke
+gsave 10 dict begin
+687 127 moveto (Discharge) 56 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Vernacentries -> Discharge
+newpath 583 126 moveto
+601 126 621 126 639 126 curveto
+stroke
+newpath 638 124 moveto
+648 126 lineto
+638 129 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
 %	Metasyntax
 gsave 10 dict begin
-397 126 43 18 ellipse_path
+687 72 43 18 ellipse_path
 stroke
 gsave 10 dict begin
-397 127 moveto (Metasyntax) 65 14.00 -0.50 alignedtext
+687 73 moveto (Metasyntax) 65 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Vernacentries -> Metasyntax
-newpath 302 126 moveto
-316 126 331 126 344 126 curveto
+newpath 569 113 moveto
+592 106 622 96 645 87 curveto
 stroke
-newpath 344 124 moveto
-354 126 lineto
-344 129 lineto
+newpath 644 85 moveto
+654 84 lineto
+645 90 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Mltop
 gsave 10 dict begin
-397 72 27 18 ellipse_path
+687 18 27 18 ellipse_path
 stroke
 gsave 10 dict begin
-397 73 moveto (Mltop) 34 14.00 -0.50 alignedtext
+687 19 moveto (Mltop) 34 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Vernacentries -> Mltop
-newpath 287 113 moveto
-311 104 342 93 365 84 curveto
+newpath 554 109 moveto
+578 90 616 59 640 42 curveto
+645 39 651 35 658 32 curveto
 stroke
-newpath 363 82 moveto
-373 81 lineto
-365 87 lineto
+newpath 654 31 moveto
+664 29 lineto
+656 36 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Record
 gsave 10 dict begin
-715 149 30 18 ellipse_path
+687 180 30 18 ellipse_path
 stroke
 gsave 10 dict begin
-715 150 moveto (Record) 40 14.00 -0.50 alignedtext
+687 181 moveto (Record) 40 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Vernacentries -> Record
-newpath 289 139 moveto
-312 147 338 156 338 156 curveto
-433 163 598 156 675 152 curveto
+newpath 569 139 moveto
+594 147 628 159 653 168 curveto
 stroke
-newpath 675 150 moveto
-685 151 lineto
-675 154 lineto
+newpath 653 165 moveto
+661 171 lineto
+651 170 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
-%	Vernac
+%	Class
 gsave 10 dict begin
-562 126 30 18 ellipse_path
+810 149 27 18 ellipse_path
 stroke
 gsave 10 dict begin
-562 127 moveto (Vernac) 40 14.00 -0.50 alignedtext
+810 150 moveto (Class) 30 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
-%	Metasyntax -> Vernac
-newpath 440 126 moveto
-466 126 498 126 522 126 curveto
-stroke
-newpath 521 124 moveto
-531 126 lineto
-521 129 lineto
-closepath
-gsave 0 setgray stroke grestore fill
-
-%	Record -> Command
-newpath 744 143 moveto
-758 141 776 137 792 133 curveto
+%	Discharge -> Class
+newpath 723 133 moveto
+739 136 758 140 775 142 curveto
 stroke
-newpath 792 131 moveto
-802 131 lineto
-793 135 lineto
+newpath 775 139 moveto
+784 144 lineto
+774 144 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
-%	Record -> Himsg
-newpath 739 138 moveto
-747 133 756 129 762 125 curveto
-776 116 786 103 798 94 curveto
-801 92 804 90 807 88 curveto
-stroke
-newpath 806 85 moveto
-816 82 lineto
-809 90 lineto
-closepath
-gsave 0 setgray stroke grestore fill
-
-%	Class
+%	Recordobj
 gsave 10 dict begin
-838 178 27 18 ellipse_path
+810 95 39 18 ellipse_path
 stroke
 gsave 10 dict begin
-838 179 moveto (Class) 30 14.00 -0.50 alignedtext
+810 96 moveto (Recordobj) 58 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
-%	Record -> Class
-newpath 744 156 moveto
-762 160 784 165 803 170 curveto
+%	Discharge -> Recordobj
+newpath 721 117 moveto
+735 114 751 110 766 106 curveto
 stroke
-newpath 803 167 moveto
-812 172 lineto
-802 172 lineto
+newpath 765 104 moveto
+775 104 lineto
+766 109 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
-%	Vernac -> Vernacinterp
-newpath 591 120 moveto
-612 116 640 110 665 105 curveto
+%	Record -> Command
+newpath 716 185 moveto
+730 187 748 191 763 194 curveto
 stroke
-newpath 664 103 moveto
-674 103 lineto
-665 108 lineto
+newpath 764 192 moveto
+773 196 lineto
+763 196 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
-%	Discharge
-gsave 10 dict begin
-715 203 38 18 ellipse_path
-stroke
-gsave 10 dict begin
-715 204 moveto (Discharge) 56 14.00 -0.50 alignedtext
-end grestore
-end grestore
-
-%	Vernac -> Discharge
-newpath 585 138 moveto
-611 151 654 172 683 187 curveto
-stroke
-newpath 681 183 moveto
-689 190 lineto
-679 188 lineto
+%	Record -> Himsg
+newpath 710 192 moveto
+722 198 734 204 734 204 curveto
+747 212 758 224 770 233 curveto
+773 235 778 238 783 240 curveto
+stroke
+newpath 782 236 moveto
+789 244 lineto
+779 241 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
-%	Discharge -> Class
-newpath 751 196 moveto
-767 193 786 189 803 185 curveto
+%	Record -> Class
+newpath 715 173 moveto
+733 169 756 163 776 158 curveto
 stroke
-newpath 802 183 moveto
-812 183 lineto
-803 188 lineto
+newpath 775 156 moveto
+785 156 lineto
+776 161 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
-%	Recordobj
+%	Vernac
 gsave 10 dict begin
-838 232 39 18 ellipse_path
+534 226 30 18 ellipse_path
 stroke
 gsave 10 dict begin
-838 233 moveto (Recordobj) 58 14.00 -0.50 alignedtext
+534 227 moveto (Vernac) 40 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
-%	Discharge -> Recordobj
-newpath 750 211 moveto
-763 214 779 218 793 222 curveto
+%	Vernac -> Vernacinterp
+newpath 565 228 moveto
+584 229 611 230 634 231 curveto
 stroke
-newpath 793 219 moveto
-802 224 lineto
-792 224 lineto
+newpath 631 228 moveto
+641 232 lineto
+631 233 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Toplevel
 gsave 10 dict begin
-253 45 35 18 ellipse_path
+239 122 35 18 ellipse_path
 stroke
 gsave 10 dict begin
-253 46 moveto (Toplevel) 49 14.00 -0.50 alignedtext
+239 123 moveto (Toplevel) 49 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Toplevel -> Mltop
-newpath 286 51 moveto
-309 55 339 61 361 65 curveto
+newpath 271 115 moveto
+353 96 570 45 654 26 curveto
 stroke
-newpath 361 62 moveto
-370 67 lineto
-360 67 lineto
+newpath 651 24 moveto
+661 24 lineto
+652 29 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Protectedtoplevel
 gsave 10 dict begin
-397 18 59 18 ellipse_path
+369 253 59 18 ellipse_path
 stroke
 gsave 10 dict begin
-397 19 moveto (Protectedtoplevel) 97 14.00 -0.50 alignedtext
+369 254 moveto (Protectedtoplevel) 97 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Toplevel -> Protectedtoplevel
-newpath 286 39 moveto
-301 36 320 33 337 30 curveto
+newpath 255 138 moveto
+278 161 320 204 347 231 curveto
 stroke
-newpath 337 28 moveto
-347 28 lineto
-338 32 lineto
+newpath 347 227 moveto
+352 236 lineto
+343 231 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Protectedtoplevel -> Vernac
-newpath 435 32 moveto
-443 34 450 37 456 42 curveto
-474 58 474 88 492 102 curveto
-500 107 512 112 523 116 curveto
-stroke
-newpath 524 114 moveto
-533 119 lineto
-523 119 lineto
+newpath 421 244 moveto
+446 240 473 236 495 232 curveto
+stroke
+newpath 494 230 moveto
+504 231 lineto
+494 235 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Errors
 gsave 10 dict begin
-562 18 27 18 ellipse_path
+534 280 27 18 ellipse_path
 stroke
 gsave 10 dict begin
-562 19 moveto (Errors) 34 14.00 -0.50 alignedtext
+534 281 moveto (Errors) 34 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Protectedtoplevel -> Errors
-newpath 456 18 moveto
-479 18 505 18 525 18 curveto
+newpath 421 262 moveto
+447 266 476 271 499 274 curveto
 stroke
-newpath 524 16 moveto
-534 18 lineto
-524 21 lineto
+newpath 497 271 moveto
+507 275 lineto
+497 276 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Line_oriented_parser
 gsave 10 dict begin
-562 72 70 18 ellipse_path
+534 334 70 18 ellipse_path
 stroke
 gsave 10 dict begin
-562 73 moveto (Line_oriented_parser) 119 14.00 -0.50 alignedtext
+534 335 moveto (Line_oriented_parser) 119 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Protectedtoplevel -> Line_oriented_parser
-newpath 437 31 moveto
-459 38 486 47 510 55 curveto
+newpath 395 269 moveto
+416 282 445 300 464 310 curveto
+469 312 476 315 483 318 curveto
 stroke
-newpath 510 52 moveto
-519 58 lineto
-509 57 lineto
+newpath 481 315 moveto
+490 320 lineto
+480 320 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Errors -> Himsg
-newpath 588 23 moveto
-639 33 747 53 803 64 curveto
+newpath 561 278 moveto
+611 274 717 265 773 260 curveto
 stroke
-newpath 800 61 moveto
-810 65 lineto
-800 66 lineto
+newpath 771 258 moveto
+781 259 lineto
+771 263 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Minicoq
 gsave 10 dict begin
-34 153 34 18 ellipse_path
+34 230 34 18 ellipse_path
 stroke
 gsave 10 dict begin
-34 154 moveto (Minicoq) 47 14.00 -0.50 alignedtext
+34 231 moveto (Minicoq) 47 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Fhimsg
 gsave 10 dict begin
-136 153 31 18 ellipse_path
+136 230 31 18 ellipse_path
 stroke
 gsave 10 dict begin
-136 154 moveto (Fhimsg) 42 14.00 -0.50 alignedtext
+136 231 moveto (Fhimsg) 42 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Minicoq -> Fhimsg
-newpath 68 153 moveto
-77 153 86 153 94 153 curveto
+newpath 68 230 moveto
+77 230 86 230 94 230 curveto
 stroke
-newpath 94 151 moveto
-104 153 lineto
-94 156 lineto
+newpath 94 228 moveto
+104 230 lineto
+94 233 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Coqtop
 gsave 10 dict begin
-34 72 31 18 ellipse_path
+34 149 31 18 ellipse_path
 stroke
 gsave 10 dict begin
-34 73 moveto (Coqtop) 41 14.00 -0.50 alignedtext
+34 150 moveto (Coqtop) 41 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Coqinit
 gsave 10 dict begin
-136 45 31 18 ellipse_path
+136 122 31 18 ellipse_path
 stroke
 gsave 10 dict begin
-136 46 moveto (Coqinit) 42 14.00 -0.50 alignedtext
+136 123 moveto (Coqinit) 42 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Coqtop -> Coqinit
-newpath 62 64 moveto
-73 61 86 58 98 55 curveto
+newpath 62 141 moveto
+73 138 86 135 98 132 curveto
 stroke
-newpath 97 53 moveto
-107 52 lineto
-98 58 lineto
+newpath 97 130 moveto
+107 129 lineto
+98 135 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Usage
 gsave 10 dict begin
-136 99 27 18 ellipse_path
+136 176 27 18 ellipse_path
 stroke
 gsave 10 dict begin
-136 100 moveto (Usage) 34 14.00 -0.50 alignedtext
+136 177 moveto (Usage) 34 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Coqtop -> Usage
-newpath 62 80 moveto
-74 83 88 87 101 90 curveto
+newpath 62 157 moveto
+74 160 88 164 101 167 curveto
 stroke
-newpath 101 87 moveto
-110 92 lineto
-100 92 lineto
+newpath 101 164 moveto
+110 169 lineto
+100 169 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Coqinit -> Toplevel
-newpath 168 45 moveto
-180 45 195 45 208 45 curveto
+newpath 168 122 moveto
+176 122 185 122 194 122 curveto
 stroke
-newpath 208 43 moveto
-218 45 lineto
-208 48 lineto
+newpath 194 120 moveto
+204 122 lineto
+194 125 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 endpage