diff options
Diffstat (limited to 'doc/kernel.dep.ps')
-rw-r--r-- | doc/kernel.dep.ps | 65 |
1 files changed, 42 insertions, 23 deletions
diff --git a/doc/kernel.dep.ps b/doc/kernel.dep.ps index 3604e5ea6..1dcc8f873 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 |