mise a jour

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

1 files changed, 270 insertions, 3 deletions

diff --git a/doc/tactics.dep.ps b/doc/tactics.dep.ps
index 61da11e4fa..058b9275e6 100644
--- a/doc/tactics.dep.ps
+++ b/doc/tactics.dep.ps
@@ -3,7 +3,7 @@
 %%For: Bill Gates
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 36 36 37 37
+%%BoundingBox: 36 36 576 152
 %%EndComments
 %%BeginProlog
 save
@@ -139,14 +139,281 @@ def
 % /arrowwidth 5 def
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 37 37
+%%PageBoundingBox: 36 36 576 152
 gsave
-35 35 2 2 boxprim clip newpath
+35 35 541 117 boxprim clip newpath
 36 36 translate
 0 0 1 beginpage
+0.7563 set_scale
 0 0 translate 0 rotate
 0.000 0.000 0.000 graphcolor
 14.00 /Times-Roman set_font
+
+%	Termdn
+gsave 10 dict begin
+462 18 32 18 ellipse_path
+stroke
+gsave 10 dict begin
+462 19 moveto (Termdn) 44 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Dn
+gsave 10 dict begin
+579 18 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+579 19 moveto (Dn) 17 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Termdn -> Dn
+newpath 495 18 moveto
+510 18 527 18 543 18 curveto
+stroke
+newpath 542 16 moveto
+552 18 lineto
+542 21 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Tactics
+gsave 10 dict begin
+355 91 30 18 ellipse_path
+stroke
+gsave 10 dict begin
+355 92 moveto (Tactics) 40 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Tacticals
+gsave 10 dict begin
+462 91 35 18 ellipse_path
+stroke
+gsave 10 dict begin
+462 92 moveto (Tacticals) 50 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Tactics -> Tacticals
+newpath 386 91 moveto
+395 91 406 91 416 91 curveto
+stroke
+newpath 416 89 moveto
+426 91 lineto
+416 94 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Pattern
+gsave 10 dict begin
+579 135 30 18 ellipse_path
+stroke
+gsave 10 dict begin
+579 136 moveto (Pattern) 39 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Tacticals -> Pattern
+newpath 491 102 moveto
+507 108 528 116 544 122 curveto
+stroke
+newpath 544 119 moveto
+553 125 lineto
+543 124 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Wcclausenv
+gsave 10 dict begin
+579 81 44 18 ellipse_path
+stroke
+gsave 10 dict begin
+579 82 moveto (Wcclausenv) 68 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Tacticals -> Wcclausenv
+newpath 497 88 moveto
+506 87 516 87 525 86 curveto
+stroke
+newpath 525 84 moveto
+535 85 lineto
+525 88 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Stock
+gsave 10 dict begin
+687 135 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+687 136 moveto (Stock) 31 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Pattern -> Stock
+newpath 609 135 moveto
+622 135 637 135 650 135 curveto
+stroke
+newpath 650 133 moveto
+660 135 lineto
+650 138 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Tacentries
+gsave 10 dict begin
+244 110 39 18 ellipse_path
+stroke
+gsave 10 dict begin
+244 111 moveto (Tacentries) 58 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Tacentries -> Tactics
+newpath 281 104 moveto
+293 102 305 99 317 97 curveto
+stroke
+newpath 316 95 moveto
+326 96 lineto
+316 100 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Nbtermdn
+gsave 10 dict begin
+244 18 38 18 ellipse_path
+stroke
+gsave 10 dict begin
+244 19 moveto (Nbtermdn) 56 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Btermdn
+gsave 10 dict begin
+355 18 35 18 ellipse_path
+stroke
+gsave 10 dict begin
+355 19 moveto (Btermdn) 49 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Nbtermdn -> Btermdn
+newpath 283 18 moveto
+292 18 301 18 310 18 curveto
+stroke
+newpath 310 16 moveto
+320 18 lineto
+310 21 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Btermdn -> Termdn
+newpath 390 18 moveto
+400 18 410 18 419 18 curveto
+stroke
+newpath 419 16 moveto
+429 18 lineto
+419 21 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Hiddentac
+gsave 10 dict begin
+129 110 39 18 ellipse_path
+stroke
+gsave 10 dict begin
+129 111 moveto (Hiddentac) 57 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Hiddentac -> Tacentries
+newpath 168 110 moveto
+177 110 186 110 194 110 curveto
+stroke
+newpath 194 108 moveto
+204 110 lineto
+194 113 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Elim
+gsave 10 dict begin
+27 110 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+27 111 moveto (Elim) 27 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Elim -> Hiddentac
+newpath 54 110 moveto
+62 110 71 110 80 110 curveto
+stroke
+newpath 80 108 moveto
+90 110 lineto
+80 113 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Dhyp
+gsave 10 dict begin
+129 56 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+129 57 moveto (Dhyp) 31 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Dhyp -> Tactics
+newpath 155 60 moveto
+195 66 270 77 316 85 curveto
+stroke
+newpath 315 82 moveto
+325 86 lineto
+315 87 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Dhyp -> Nbtermdn
+newpath 153 48 moveto
+167 43 187 37 204 31 curveto
+stroke
+newpath 203 29 moveto
+213 28 lineto
+204 34 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Auto
+gsave 10 dict begin
+27 56 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+27 57 moveto (Auto) 28 14.00 -0.50 alignedtext
+end grestore
+end grestore
+
+%	Auto -> Hiddentac
+newpath 49 67 moveto
+62 75 80 84 95 92 curveto
+stroke
+newpath 96 90 moveto
+104 96 lineto
+94 94 lineto
+closepath
+gsave 0 setgray stroke grestore fill
+
+%	Auto -> Dhyp
+newpath 54 56 moveto
+66 56 80 56 92 56 curveto
+stroke
+newpath 92 54 moveto
+102 56 lineto
+92 59 lineto
+closepath
+gsave 0 setgray stroke grestore fill
 endpage
 grestore
 %%PageTrailer