mise a jour

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

1 files changed, 42 insertions, 23 deletions

diff --git a/doc/kernel.dep.ps b/doc/kernel.dep.ps
index 3604e5ea61..1dcc8f873d 100644
--- a/doc/kernel.dep.ps
+++ b/doc/kernel.dep.ps
@@ -3,7 +3,7 @@
 %%For: Gros nain
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 36 36 576 91
+%%BoundingBox: 36 36 577 91
 %%EndComments
 %%BeginProlog
 save
@@ -139,41 +139,41 @@ def
 % /arrowwidth 5 def
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 576 91
+%%PageBoundingBox: 36 36 577 91
 gsave
-35 35 541 56 boxprim clip newpath
+35 35 542 56 boxprim clip newpath
 36 36 translate
 0 0 1 beginpage
-0.3994 set_scale
+0.3982 set_scale
 0 0 translate 0 rotate
 0.000 0.000 0.000 graphcolor
 14.00 /Times-Roman set_font
 
 %	Univ
 gsave 10 dict begin
-1229 74 27 18 ellipse_path
+1231 101 27 18 ellipse_path
 stroke
 gsave 10 dict begin
-1229 75 moveto (Univ) 28 14.00 -0.50 alignedtext
+1231 102 moveto (Univ) 28 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Names
 gsave 10 dict begin
-1322 74 29 18 ellipse_path
+1326 101 29 18 ellipse_path
 stroke
 gsave 10 dict begin
-1322 75 moveto (Names) 38 14.00 -0.50 alignedtext
+1326 102 moveto (Names) 38 14.00 -0.50 alignedtext
 end grestore
 end grestore
 
 %	Univ -> Names
-newpath 1256 74 moveto
-1264 74 1273 74 1282 74 curveto
+newpath 1258 101 moveto
+1267 101 1277 101 1286 101 curveto
 stroke
-newpath 1282 72 moveto
-1292 74 lineto
-1282 77 lineto
+newpath 1286 99 moveto
+1296 101 lineto
+1286 104 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
@@ -282,12 +282,31 @@ end grestore
 end grestore
 
 %	Term -> Univ
-newpath 1166 74 moveto
-1174 74 1183 74 1192 74 curveto
+newpath 1164 81 moveto
+1174 84 1186 88 1197 91 curveto
 stroke
-newpath 1192 72 moveto
-1202 74 lineto
-1192 77 lineto
+newpath 1197 88 moveto
+1206 94 lineto
+1196 93 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Esubst
+gsave 10 dict begin
+1231 47 29 18 ellipse_path
+stroke
+gsave 10 dict begin
+1231 48 moveto (Esubst) 37 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Term -> Esubst
+newpath 1164 67 moveto
+1174 64 1185 61 1196 58 curveto
+stroke
+newpath 1195 56 moveto
+1205 55 lineto
+1196 61 lineto
 closepath
 gsave 0 setgray stroke grestore fill
 
@@ -359,12 +378,12 @@ gsave 0 setgray stroke grestore fill
 
 %	Cooking -> Reduction
 newpath 300 116 moveto
-336 113 393 108 426 102 curveto
-426 102 444 95 462 87 curveto
+336 114 393 109 426 102 curveto
+437 99 453 94 468 88 curveto
 stroke
-newpath 461 85 moveto
-471 84 lineto
-462 90 lineto
+newpath 464 87 moveto
+474 85 lineto
+466 92 lineto
 closepath
 gsave 0 setgray stroke grestore fill