mise a jour

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

1 files changed, 107 insertions, 120 deletions

diff --git a/doc/library.dep.ps b/doc/library.dep.ps
index f8995d649..7a5cdeed3 100644
--- a/doc/library.dep.ps
+++ b/doc/library.dep.ps
@@ -1,9 +1,9 @@
 %!PS-Adobe-2.0
 %%Creator: dot version uwin98 (01-26-98)
-%%For: (jacek) Jacek Chrzaszcz
+%%For: Gros nain
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 36 36 519 295
+%%BoundingBox: 36 36 525 235
 %%EndComments
 %%BeginProlog
 save
@@ -47,7 +47,7 @@ DotDict begin
 		gsave
 			coordfont setfont
 			0 0 moveto
-			(\() show i str cvs show (,) show j str cvs show (\)) show
+			(() show i str cvs show (,) show j str cvs show ()) show
 		grestore
 	} if
 } bind def
@@ -139,9 +139,9 @@ def
 % /arrowwidth 5 def
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 519 295
+%%PageBoundingBox: 36 36 525 235
 gsave
-35 35 484 260 boxprim clip newpath
+35 35 490 200 boxprim clip newpath
 36 36 translate
 0 0 1 beginpage
 0 0 translate 0 rotate
@@ -150,233 +150,220 @@ gsave
 
 %	States
 gsave 10 dict begin
-27 217 27 18 ellipse_path
+32 180 27 18 ellipse_path
 stroke
 gsave 10 dict begin
-27 218 moveto (States) 33 14.00 -0.50 alignedtext
+32 181 moveto (States) 33 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Library
 gsave 10 dict begin
-122 217 31 18 ellipse_path
+136 180 31 18 ellipse_path
 stroke
 gsave 10 dict begin
-122 218 moveto (Library) 41 14.00 -0.50 alignedtext
+136 181 moveto (Library) 41 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	States -> Library
-newpath 54 217 moveto
-62 217 72 217 81 217 curveto
+newpath 59 180 moveto
+70 180 83 180 95 180 curveto
 stroke
-newpath 81 215 moveto
-91 217 lineto
-81 220 lineto
+newpath 95 178 moveto
+105 180 lineto
+95 183 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Global
 gsave 10 dict begin
-334 93 29 18 ellipse_path
+238 180 29 18 ellipse_path
 stroke
 gsave 10 dict begin
-334 94 moveto (Global) 38 14.00 -0.50 alignedtext
+238 181 moveto (Global) 38 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Library -> Global
-newpath 145 205 moveto
-176 188 231 158 262 140 curveto
-274 132 291 121 306 112 curveto
+newpath 167 180 moveto
+177 180 188 180 198 180 curveto
 stroke
-newpath 305 110 moveto
-314 106 lineto
-308 114 lineto
+newpath 198 178 moveto
+208 180 lineto
+198 183 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
-%	Goptions
+%	Lib
 gsave 10 dict begin
-226 240 36 18 ellipse_path
+238 126 27 18 ellipse_path
 stroke
 gsave 10 dict begin
-226 241 moveto (Goptions) 51 14.00 -0.50 alignedtext
+238 127 moveto (Lib) 19 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
-%	Library -> Goptions
-newpath 151 223 moveto
-161 225 172 228 183 230 curveto
+%	Library -> Lib
+newpath 159 168 moveto
+173 160 193 150 209 141 curveto
 stroke
-newpath 184 228 moveto
-193 232 lineto
-183 232 lineto
+newpath 207 139 moveto
+217 137 lineto
+209 144 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Nametab
 gsave 10 dict begin
-334 20 35 18 ellipse_path
+340 153 35 18 ellipse_path
 stroke
 gsave 10 dict begin
-334 21 moveto (Nametab) 50 14.00 -0.50 alignedtext
+340 154 moveto (Nametab) 50 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
-%	Summary
+%	Libobject
 gsave 10 dict begin
-444 93 37 18 ellipse_path
+450 180 37 18 ellipse_path
 stroke
 gsave 10 dict begin
-444 94 moveto (Summary) 54 14.00 -0.50 alignedtext
+450 181 moveto (Libobject) 53 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
-%	Nametab -> Summary
-newpath 356 34 moveto
-373 45 395 61 414 73 curveto
-stroke
-newpath 415 71 moveto
-422 78 lineto
-412 75 lineto
-closepath
-gsave 0 setgray stroke grestore fill
-
-%	Global -> Summary
-newpath 364 93 moveto
-374 93 385 93 396 93 curveto
+%	Nametab -> Libobject
+newpath 372 161 moveto
+383 163 396 166 408 169 curveto
 stroke
-newpath 396 91 moveto
-406 93 lineto
-396 96 lineto
+newpath 408 166 moveto
+417 172 lineto
+407 171 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
-%	Lib
+%	Summary
 gsave 10 dict begin
-334 156 27 18 ellipse_path
+450 126 37 18 ellipse_path
 stroke
 gsave 10 dict begin
-334 157 moveto (Lib) 19 14.00 -0.50 alignedtext
+450 127 moveto (Summary) 54 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
-%	Goptions -> Lib
-newpath 246 225 moveto
-264 211 290 190 309 175 curveto
+%	Nametab -> Summary
+newpath 372 145 moveto
+383 143 395 140 406 137 curveto
 stroke
-newpath 306 174 moveto
-316 170 lineto
-309 178 lineto
+newpath 406 134 moveto
+416 134 lineto
+407 139 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
-%	Lib -> Summary
-newpath 355 144 moveto
-371 135 393 122 412 112 curveto
+%	Global -> Nametab
+newpath 265 173 moveto
+275 170 287 167 298 164 curveto
 stroke
-newpath 410 110 moveto
-420 107 lineto
-413 114 lineto
+newpath 298 161 moveto
+308 161 lineto
+299 166 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
-%	Libobject
-gsave 10 dict begin
-444 156 37 18 ellipse_path
-stroke
-gsave 10 dict begin
-444 157 moveto (Libobject) 53 14.00 -0.50 alignedtext
-end grestore
-end grestore
-
-%	Lib -> Libobject
-newpath 361 156 moveto
-372 156 385 156 397 156 curveto
+%	Lib -> Nametab
+newpath 263 133 moveto
+274 136 287 139 299 142 curveto
 stroke
-newpath 397 154 moveto
-407 156 lineto
-397 159 lineto
+newpath 299 139 moveto
+308 145 lineto
+298 144 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Impargs
 gsave 10 dict begin
-226 56 33 18 ellipse_path
+136 126 33 18 ellipse_path
 stroke
 gsave 10 dict begin
-226 57 moveto (Impargs) 45 14.00 -0.50 alignedtext
+136 127 moveto (Impargs) 45 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Impargs -> Global
-newpath 254 66 moveto
-268 71 285 77 299 81 curveto
+newpath 160 139 moveto
+174 147 192 156 207 164 curveto
 stroke
-newpath 299 78 moveto
-308 84 lineto
-298 83 lineto
+newpath 207 161 moveto
+215 168 lineto
+205 166 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
-%	Declare
+%	Impargs -> Lib
+newpath 169 126 moveto
+180 126 191 126 201 126 curveto
+stroke
+newpath 201 124 moveto
+211 126 lineto
+201 129 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Goptions
 gsave 10 dict begin
-122 83 32 18 ellipse_path
+136 72 36 18 ellipse_path
 stroke
 gsave 10 dict begin
-122 84 moveto (Declare) 43 14.00 -0.50 alignedtext
+136 73 moveto (Goptions) 51 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
-%	Declare -> Nametab
-newpath 137 67 moveto
-151 52 173 32 190 26 curveto
-217 19 260 18 291 18 curveto
+%	Goptions -> Lib
+newpath 161 85 moveto
+175 93 193 102 209 111 curveto
 stroke
-newpath 288 16 moveto
-298 18 lineto
-288 21 lineto
+newpath 209 108 moveto
+217 115 lineto
+207 113 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
-%	Declare -> Lib
-newpath 137 99 moveto
-151 114 173 134 190 140 curveto
-219 149 267 153 300 155 curveto
+%	Declare
+gsave 10 dict begin
+32 72 32 18 ellipse_path
 stroke
-newpath 297 153 moveto
-307 155 lineto
-297 158 lineto
-closepath
-gsave 0 setgray stroke grestore fill
+gsave 10 dict begin
+32 73 moveto (Declare) 43 14.00 -0.50 alignedtext
+end grestore
+end grestore
 
 %	Declare -> Impargs
-newpath 151 75 moveto
-162 72 175 69 187 66 curveto
+newpath 56 84 moveto
+70 92 88 101 104 110 curveto
 stroke
-newpath 186 64 moveto
-196 64 lineto
-187 69 lineto
+newpath 104 107 moveto
+112 114 lineto
+102 112 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
 %	Indrec
 gsave 10 dict begin
-226 110 28 18 ellipse_path
+136 18 28 18 ellipse_path
 stroke
 gsave 10 dict begin
-226 111 moveto (Indrec) 35 14.00 -0.50 alignedtext
+136 19 moveto (Indrec) 35 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Declare -> Indrec
-newpath 151 91 moveto
-163 94 178 98 191 101 curveto
+newpath 56 60 moveto
+70 52 90 42 106 33 curveto
 stroke
-newpath 191 98 moveto
-200 103 lineto
-190 103 lineto
+newpath 104 31 moveto
+114 29 lineto
+106 36 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 endpage