From 97fefe1fcca363a1317e066e7f4b99b9c1e9987b Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 12 Jan 2012 16:02:20 +0100 Subject: Imported Upstream version 8.4~beta --- dev/ocamlweb-doc/interp.dep.ps | 545 ----------------------------------------- 1 file changed, 545 deletions(-) delete mode 100644 dev/ocamlweb-doc/interp.dep.ps (limited to 'dev/ocamlweb-doc/interp.dep.ps') diff --git a/dev/ocamlweb-doc/interp.dep.ps b/dev/ocamlweb-doc/interp.dep.ps deleted file mode 100644 index fda7a33c..00000000 --- a/dev/ocamlweb-doc/interp.dep.ps +++ /dev/null @@ -1,545 +0,0 @@ -%!PS-Adobe-2.0 -%%Creator: Graphviz version 2.12 (Tue Oct 23 13:46:12 UTC 2007) -%%For: (notin) Jean-Marc Notin,,, -%%Title: G -%%Pages: (atend) -%%BoundingBox: (atend) -%%EndComments -save -%%BeginProlog -/DotDict 200 dict def -DotDict begin - -/setupLatin1 { -mark -/EncodingVector 256 array def - EncodingVector 0 - -ISOLatin1Encoding 0 255 getinterval putinterval -EncodingVector 45 /hyphen put - -% Set up ISO Latin 1 character encoding -/starnetISO { - dup dup findfont dup length dict begin - { 1 index /FID ne { def }{ pop pop } ifelse - } forall - /Encoding EncodingVector def - currentdict end definefont -} def -/Times-Roman starnetISO def -/Times-Italic starnetISO def -/Times-Bold starnetISO def -/Times-BoldItalic starnetISO def -/Helvetica starnetISO def -/Helvetica-Oblique starnetISO def -/Helvetica-Bold starnetISO def -/Helvetica-BoldOblique starnetISO def -/Courier starnetISO def -/Courier-Oblique starnetISO def -/Courier-Bold starnetISO def -/Courier-BoldOblique starnetISO def -cleartomark -} bind def - -%%BeginResource: procset graphviz 0 0 -/coord-font-family /Times-Roman def -/default-font-family /Times-Roman def -/coordfont coord-font-family findfont 8 scalefont def - -/InvScaleFactor 1.0 def -/set_scale { - dup 1 exch div /InvScaleFactor exch def - scale -} bind def - -% styles -/solid { [] 0 setdash } bind def -/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def -/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def -/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def -/bold { 2 setlinewidth } bind def -/filled { } bind def -/unfilled { } bind def -/rounded { } bind def -/diagonals { } bind def - -% hooks for setting color -/nodecolor { sethsbcolor } bind def -/edgecolor { sethsbcolor } bind def -/graphcolor { sethsbcolor } bind def -/nopcolor {pop pop pop} bind def - -/beginpage { % i j npages - /npages exch def - /j exch def - /i exch def - /str 10 string def - npages 1 gt { - gsave - coordfont setfont - 0 0 moveto - (\() show i str cvs show (,) show j str cvs show (\)) show - grestore - } if -} bind def - -/set_font { - findfont exch - scalefont setfont -} def - -% draw aligned label in bounding box aligned to current point -/alignedtext { % width adj text - /text exch def - /adj exch def - /width exch def - gsave - width 0 gt { - text stringwidth pop adj mul 0 rmoveto - } if - [] 0 setdash - text show - grestore -} def - -/boxprim { % xcorner ycorner xsize ysize - 4 2 roll - moveto - 2 copy - exch 0 rlineto - 0 exch rlineto - pop neg 0 rlineto - closepath -} bind def - -/ellipse_path { - /ry exch def - /rx exch def - /y exch def - /x exch def - matrix currentmatrix - newpath - x y translate - rx ry scale - 0 0 1 0 360 arc - setmatrix -} bind def - -/endpage { showpage } bind def -/showpage { } def - -/layercolorseq - [ % layer color sequence - darkest to lightest - [0 0 0] - [.2 .8 .8] - [.4 .8 .8] - [.6 .8 .8] - [.8 .8 .8] - ] -def - -/layerlen layercolorseq length def - -/setlayer {/maxlayer exch def /curlayer exch def - layercolorseq curlayer 1 sub layerlen mod get - aload pop sethsbcolor - /nodecolor {nopcolor} def - /edgecolor {nopcolor} def - /graphcolor {nopcolor} def -} bind def - -/onlayer { curlayer ne {invis} if } def - -/onlayers { - /myupper exch def - /mylower exch def - curlayer mylower lt - curlayer myupper gt - or - {invis} if -} def - -/curlayer 0 def - -%%EndResource -%%EndProlog -%%BeginSetup -14 default-font-family set_font -1 setmiterlimit -% /arrowlength 10 def -% /arrowwidth 5 def - -% make sure pdfmark is harmless for PS-interpreters other than Distiller -/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse -% make '<<' and '>>' safe on PS Level 1 devices -/languagelevel where {pop languagelevel}{1} ifelse -2 lt { - userdict (<<) cvn ([) cvn load put - userdict (>>) cvn ([) cvn load put -} if - -%%EndSetup -setupLatin1 -%%Page: 1 1 -%%PageBoundingBox: 36 36 576 753 -%%PageOrientation: Landscape -gsave -36 36 576 753 boxprim clip newpath -0 0 1 beginpage -0.985401 0.985401 set_scale 90 rotate 40.5333 -580.533 translate -0.000 0.000 1.000 graphcolor -newpath -4 -4 moveto --4 544 lineto -724 544 lineto -724 -4 lineto -closepath fill -0.985401 setlinewidth -0.000 0.000 1.000 graphcolor -newpath -4 -4 moveto --4 544 lineto -724 544 lineto -724 -4 lineto -closepath stroke -% Constrextern -gsave -0.502 1.000 0.820 nodecolor -172 417 49.1777 18 ellipse_path fill -0.985401 setlinewidth -filled -0.502 1.000 0.820 nodecolor -172 417 49.1777 18 ellipse_path stroke -0.000 0.000 0.000 nodecolor -14.00 /Times-Roman set_font -172 412 moveto 72 -0.5 (Constrextern) alignedtext -grestore -% Reserve -gsave -0.502 1.000 0.820 nodecolor -264 319 35.1777 18 ellipse_path fill -0.985401 setlinewidth -filled -0.502 1.000 0.820 nodecolor -264 319 35.1777 18 ellipse_path stroke -0.000 0.000 0.000 nodecolor -14.00 /Times-Roman set_font -264 314 moveto 44 -0.5 (Reserve) alignedtext -grestore -% Constrextern->Reserve -gsave -0.985401 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 188 400 moveto -203 384 225 361 242 343 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 245.049 344.831 moveto -249 335 lineto -239.781 340.221 lineto -closepath fill -0.985401 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 245.049 344.831 moveto -249 335 lineto -239.781 340.221 lineto -closepath stroke -grestore -% Notation -gsave -0.502 1.000 0.820 nodecolor -268 122 37.1753 18 ellipse_path fill -0.985401 setlinewidth -filled -0.502 1.000 0.820 nodecolor -268 122 37.1753 18 ellipse_path stroke -0.000 0.000 0.000 nodecolor -14.00 /Times-Roman set_font -268 117 moveto 49 -0.5 (Notation) alignedtext -grestore -% Constrextern->Notation -gsave -0.985401 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 178 399 moveto -194 349 240 209 259 150 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 262.479 150.584 moveto -262 140 lineto -255.774 148.573 lineto -closepath fill -0.985401 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 262.479 150.584 moveto -262 140 lineto -255.774 148.573 lineto -closepath stroke -grestore -% Topconstr -gsave -0.502 1.000 0.820 nodecolor -82 24 41.1755 18 ellipse_path fill -0.985401 setlinewidth -filled -0.502 1.000 0.820 nodecolor -82 24 41.1755 18 ellipse_path stroke -0.000 0.000 0.000 nodecolor -14.00 /Times-Roman set_font -82 19 moveto 57 -0.5 (Topconstr) alignedtext -grestore -% Notation->Topconstr -gsave -0.985401 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 243 109 moveto -211 91 154 62 117 43 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 118.441 39.7969 moveto -108 38 lineto -115.042 45.916 lineto -closepath fill -0.985401 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 118.441 39.7969 moveto -108 38 lineto -115.042 45.916 lineto -closepath stroke -grestore -% Ppextend -gsave -0.502 1.000 0.820 nodecolor -278 24 39.1777 18 ellipse_path fill -0.985401 setlinewidth -filled -0.502 1.000 0.820 nodecolor -278 24 39.1777 18 ellipse_path stroke -0.000 0.000 0.000 nodecolor -14.00 /Times-Roman set_font -278 19 moveto 52 -0.5 (Ppextend) alignedtext -grestore -% Notation->Ppextend -gsave -0.985401 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 270 104 moveto -272 89 273 68 275 52 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 278.488 52.2987 moveto -276 42 lineto -271.522 51.6021 lineto -closepath fill -0.985401 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 278.488 52.2987 moveto -276 42 lineto -271.522 51.6021 lineto -closepath stroke -grestore -% Constrintern -gsave -0.502 1.000 0.820 nodecolor -472 417 48.1777 18 ellipse_path fill -0.985401 setlinewidth -filled -0.502 1.000 0.820 nodecolor -472 417 48.1777 18 ellipse_path stroke -0.000 0.000 0.000 nodecolor -14.00 /Times-Roman set_font -472 412 moveto 70 -0.5 (Constrintern) alignedtext -grestore -% Constrintern->Reserve -gsave -0.985401 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 442 403 moveto -404 385 340 355 299 335 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 300.56 331.863 moveto -290 331 lineto -297.717 338.26 lineto -closepath fill -0.985401 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 300.56 331.863 moveto -290 331 lineto -297.717 338.26 lineto -closepath stroke -grestore -% Implicit_quantifiers -gsave -0.502 1.000 0.820 nodecolor -508 319 69.1777 18 ellipse_path fill -0.985401 setlinewidth -filled -0.502 1.000 0.820 nodecolor -508 319 69.1777 18 ellipse_path stroke -0.000 0.000 0.000 nodecolor -14.00 /Times-Roman set_font -508 314 moveto 112 -0.5 (Implicit_quantifiers) alignedtext -grestore -% Constrintern->Implicit_quantifiers -gsave -0.985401 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 479 399 moveto -484 385 492 364 498 347 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 501.479 347.584 moveto -501 337 lineto -494.774 345.573 lineto -closepath fill -0.985401 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 501.479 347.584 moveto -501 337 lineto -494.774 345.573 lineto -closepath stroke -grestore -% Syntax_def -gsave -0.502 1.000 0.820 nodecolor -396 220 45.1777 18 ellipse_path fill -0.985401 setlinewidth -filled -0.502 1.000 0.820 nodecolor -396 220 45.1777 18 ellipse_path stroke -0.000 0.000 0.000 nodecolor -14.00 /Times-Roman set_font -396 215 moveto 64 -0.5 (Syntax_def) alignedtext -grestore -% Implicit_quantifiers->Syntax_def -gsave -0.985401 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 488 302 moveto -469 285 442 261 422 244 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 424.546 241.596 moveto -415 237 lineto -419.596 246.546 lineto -closepath fill -0.985401 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 424.546 241.596 moveto -415 237 lineto -419.596 246.546 lineto -closepath stroke -grestore -% Coqlib -gsave -0.502 1.000 0.820 nodecolor -656 515 32.1777 18 ellipse_path fill -0.985401 setlinewidth -filled -0.502 1.000 0.820 nodecolor -656 515 32.1777 18 ellipse_path stroke -0.000 0.000 0.000 nodecolor -14.00 /Times-Roman set_font -656 510 moveto 38 -0.5 (Coqlib) alignedtext -grestore -% Genarg -gsave -0.502 1.000 0.820 nodecolor -82 122 33.175 18 ellipse_path fill -0.985401 setlinewidth -filled -0.502 1.000 0.820 nodecolor -82 122 33.175 18 ellipse_path stroke -0.000 0.000 0.000 nodecolor -14.00 /Times-Roman set_font -82 117 moveto 41 -0.5 (Genarg) alignedtext -grestore -% Genarg->Topconstr -gsave -0.985401 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 82 104 moveto -82 89 82 69 82 52 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 85.5001 52 moveto -82 42 lineto -78.5001 52 lineto -closepath fill -0.985401 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 85.5001 52 moveto -82 42 lineto -78.5001 52 lineto -closepath stroke -grestore -% Syntax_def->Notation -gsave -0.985401 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 375 204 moveto -354 187 320 161 296 143 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 298.1 140.2 moveto -288 137 lineto -293.9 145.8 lineto -closepath fill -0.985401 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 298.1 140.2 moveto -288 137 lineto -293.9 145.8 lineto -closepath stroke -grestore -% Modintern -gsave -0.502 1.000 0.820 nodecolor -472 515 42.1756 18 ellipse_path fill -0.985401 setlinewidth -filled -0.502 1.000 0.820 nodecolor -472 515 42.1756 18 ellipse_path stroke -0.000 0.000 0.000 nodecolor -14.00 /Times-Roman set_font -472 510 moveto 59 -0.5 (Modintern) alignedtext -grestore -% Modintern->Constrintern -gsave -0.985401 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 472 497 moveto -472 482 472 462 472 445 curveto -stroke -0.000 0.000 0.000 edgecolor -newpath 475.5 445 moveto -472 435 lineto -468.5 445 lineto -closepath fill -0.985401 setlinewidth -solid -0.000 0.000 0.000 edgecolor -newpath 475.5 445 moveto -472 435 lineto -468.5 445 lineto -closepath stroke -grestore -endpage -showpage -grestore -%%PageTrailer -%%EndPage: 1 -%%Trailer -%%Pages: 1 -%%BoundingBox: 36 36 576 753 -end -restore -%%EOF -- cgit v1.2.3