[Synopsis-changes] Synopsis/Synopsis/doc/Tutorial/images ast.svg,NONE,1.1 pipelines.svg,NONE,1.1 pipeline.svg,NONE,1.1 processor.svg,NONE,1.1

Stefan Seefeld stefan at synopsis.fresco.org
Thu Nov 27 12:29:02 UTC 2003


Update of /cvs/synopsis/Synopsis/doc/Tutorial/images
In directory frida:/tmp/cvs-serv22627/doc/Tutorial/images

Added Files:
	ast.svg pipelines.svg pipeline.svg processor.svg 
Log Message:
add svg versions of the images

--- NEW FILE: ast.svg ---
<?xml version="1.0" encoding="iso-8859-1"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 20000802//EN"
"http://www.w3.org/TR/2000/CR-SVG-20000802/DTD/svg-20000802.dtd">
<svg width="6.802083333333333in" height="5.28125in" viewBox="40 35 653 507">
	<polygon points="513,293 510,300 516,300 " 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="513" y1="299" x2="513" y2="309" 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="136" y1="309" x2="513" y2="309" 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="195,126 192,133 198,133 " 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="195" y1="132" x2="195" y2="164" 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="90" y1="164" x2="331" y2="164" 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="160,76 157,83 163,83 " 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="160" y1="82" x2="160" y2="92" 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="114" y1="92" x2="320" y2="92" 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<rect x="475" y="194" width="77" height="99" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="479" y="207" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Declaration</text>
	<line x1="475" y1="217" x2="552" y2="217" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="478" y="227" 
		style="font-family:Verdana; font-size:10; fill:#000000">file</text>
	<text x="478" y="241" 
		style="font-family:Verdana; font-size:10; fill:#000000">language</text>
	<text x="478" y="255" 
		style="font-family:Verdana; font-size:10; fill:#000000">line</text>
	<text x="478" y="269" 
		style="font-family:Verdana; font-size:10; fill:#000000">name</text>
	<text x="478" y="283" 
		style="font-family:Verdana; font-size:10; fill:#000000">type</text>
	<polygon points="513,293 510,300 516,300 " 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="513" y1="299" x2="513" y2="309" 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="463" y1="309" x2="555" y2="309" 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<rect x="71" y="100" width="87" height="43" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="75" y="113" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Parametrized</text>
	<line x1="71" y1="123" x2="158" y2="123" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="74" y="133" 
		style="font-family:Verdana; font-size:10; fill:#000000">template</text>
	<rect x="205" y="494" width="82" height="43" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="209" y="507" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">MetaModule</text>
	<line x1="205" y1="517" x2="287" y2="517" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="208" y="527" 
		style="font-family:Verdana; font-size:10; fill:#000000">parts</text>
	<rect x="375" y="354" width="78" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="378" y="367" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Enumerator</text>
	<rect x="355" y="464" width="75" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="359" y="477" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Inheritance</text>
	<rect x="121" y="180" width="74" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="125" y="193" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Dependent</text>
	<rect x="301" y="240" width="71" height="43" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="308" y="253" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Template</text>
	<line x1="301" y1="263" x2="372" y2="263" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="304" y="273" 
		style="font-family:Verdana; font-size:10; fill:#000000">parameters</text>
	<rect x="525" y="334" width="71" height="43" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="534" y="347" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Function</text>
	<line x1="525" y1="357" x2="596" y2="357" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="528" y="367" 
		style="font-family:Verdana; font-size:10; fill:#000000">parameters</text>
	<rect x="301" y="180" width="69" height="43" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="309" y="193" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Declared</text>
	<line x1="301" y1="203" x2="370" y2="203" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="304" y="213" 
		style="font-family:Verdana; font-size:10; fill:#000000">declaration</text>
	<rect x="525" y="394" width="68" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="529" y="407" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Operation</text>
	<rect x="615" y="354" width="68" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="618" y="367" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Parameter</text>
	<rect x="211" y="180" width="66" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="215" y="193" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Unknown</text>
	<rect x="231" y="100" width="58" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="234" y="113" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Modifier</text>
	<rect x="301" y="100" width="39" height="57" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="304" y="113" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Array</text>
	<line x1="301" y1="123" x2="340" y2="123" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="304" y="133" 
		style="font-family:Verdana; font-size:10; fill:#000000">sizes</text>
	<text x="304" y="147" 
		style="font-family:Verdana; font-size:10; fill:#000000">type</text>
	<rect x="145" y="374" width="57" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="149" y="387" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Forward</text>
	<rect x="435" y="394" width="56" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="438" y="407" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Variable</text>
	<rect x="185" y="334" width="56" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="188" y="347" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Typedef</text>
	<polygon points="276,410 273,417 279,417 " 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="276" y1="416" x2="276" y2="426" 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="251" y1="426" x2="305" y2="426" 
		style="fill:none; stroke:#000000; stroke-width:1; stroke-dasharray:0 "/>
	<rect x="225" y="444" width="52" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="229" y="457" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Module</text>
	<rect x="171" y="100" width="49" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="175" y="113" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Named</text>
	<rect x="285" y="444" width="48" height="43" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="293" y="457" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Class</text>
	<line x1="285" y1="467" x2="333" y2="467" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="288" y="477" 
		style="font-family:Verdana; font-size:10; fill:#000000">parents</text>
	<rect x="255" y="334" width="44" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="258" y="347" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Group</text>
	<rect x="315" y="334" width="41" height="43" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="319" y="347" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Enum</text>
	<line x1="315" y1="357" x2="356" y2="357" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="318" y="367" 
		style="font-family:Verdana; font-size:10; fill:#000000">values</text>
	<rect x="115" y="334" width="43" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="119" y="347" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Macro</text>
	<rect x="485" y="434" width="43" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="488" y="447" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Const</text>
	<rect x="255" y="384" width="42" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="258" y="397" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Scope</text>
	<rect x="71" y="180" width="39" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="77" y="193" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Base</text>
	<rect x="141" y="50" width="39" height="26" 
		style="fill:#ffcc99; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="146" y="63" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">Type</text>
	<polygon points="301,274 296,272 289,274 296,276 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="289" y1="274" x2="50" y2="274" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="50" y1="274" x2="50" y2="64" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="50" y1="64" x2="141" y2="64" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="71,134 66,132 59,134 66,136 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="59" y1="134" x2="60" y2="134" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="60" y1="134" x2="60" y2="249" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="60" y1="249" x2="301" y2="249" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="340,144 345,146 352,144 345,142 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="352" y1="144" x2="365" y2="144" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="365" y1="144" x2="365" y2="64" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="365" y1="64" x2="180" y2="64" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="506" y1="309" x2="506" y2="434" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="430,479 435,481 442,479 435,477 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="442" y1="479" x2="450" y2="479" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="450" y1="479" x2="450" y2="454" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="450" y1="454" x2="333" y2="454" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="370,209 375,211 382,209 375,207 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="382" y1="209" x2="475" y2="209" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="463" y1="309" x2="463" y2="394" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="205,529 200,527 193,529 200,531 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="205,529 200,527 193,529 200,531 " 
		style="fill:#424242; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="193" y1="529" x2="190" y2="529" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="190" y1="529" x2="190" y2="459" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="190" y1="459" x2="225" y2="459" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="173" y1="309" x2="173" y2="374" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="414" y1="309" x2="414" y2="354" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="335" y1="309" x2="335" y2="334" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="213" y1="309" x2="213" y2="334" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="277" y1="309" x2="277" y2="334" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="136" y1="309" x2="136" y2="334" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="555" y1="309" x2="555" y2="334" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="275,360 272,367 278,367 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="275" y1="366" x2="275" y2="384" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="250,470 247,477 253,477 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="250" y1="476" x2="250" y2="494" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="333,479 338,481 345,479 338,477 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="333,479 338,481 345,479 338,477 " 
		style="fill:#424242; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="345" y1="479" x2="355" y2="479" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="356,364 361,366 368,364 361,362 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="356,364 361,366 368,364 361,362 " 
		style="fill:#424242; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="368" y1="364" x2="375" y2="364" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="596,364 601,366 608,364 601,362 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="596,364 601,366 608,364 601,362 " 
		style="fill:#424242; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="608" y1="364" x2="615" y2="364" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="251" y1="426" x2="251" y2="444" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="305" y1="426" x2="305" y2="444" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="555,377 552,384 558,384 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="555" y1="383" x2="555" y2="394" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<polygon points="331,223 328,230 334,230 " 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="331" y1="229" x2="331" y2="240" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="331" y1="164" x2="331" y2="180" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="244" y1="164" x2="244" y2="180" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="90" y1="164" x2="90" y2="180" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="158" y1="164" x2="158" y2="180" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="114" y1="92" x2="114" y2="100" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="260" y1="92" x2="260" y2="100" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="320" y1="92" x2="320" y2="100" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="195" y1="92" x2="195" y2="100" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
</svg>
--- NEW FILE: pipelines.svg ---
<?xml version="1.0" encoding="iso-8859-1"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 20000802//EN"
"http://www.w3.org/TR/2000/CR-SVG-20000802/DTD/svg-20000802.dtd">
<svg width="7.59375in" height="3.4895833333333335in" viewBox="40 35 729 335">
	<path d="M109,111
		a19,11 0 0,1 19,-11
		l 68,0
 
		a19,11 0 0,1 19,11
		l 0,0
 
		a19,11 0 0,1 -19,11
		l -68,0
 
		a19,11 0 0,1 -19,-11
		l 0,-0"
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="143" y="116" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">parser</text>
	<path d="M590,211
		a19,11 0 0,1 19,-11
		l 68,0
 
		a19,11 0 0,1 19,11
		l 0,0
 
		a19,11 0 0,1 -19,11
		l -68,0
 
		a19,11 0 0,1 -19,-11
		l 0,-0"
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="613" y="216" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">formatter</text>
	<path d="M420,211
		a19,11 0 0,1 19,-11
		l 68,0
 
		a19,11 0 0,1 19,11
		l 0,0
 
		a19,11 0 0,1 -19,11
		l -68,0
 
		a19,11 0 0,1 -19,-11
		l 0,-0"
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="455" y="216" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">linker</text>
	<path d="M110,284
		a19,11 0 0,1 19,-11
		l 68,0
 
		a19,11 0 0,1 19,11
		l 0,0
 
		a19,11 0 0,1 -19,11
		l -68,0
 
		a19,11 0 0,1 -19,-11
		l 0,-0"
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="144" y="289" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">parser</text>
	<rect x="90" y="50" width="90" height="23" 
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="96" y="63" 
		style="font-family:Verdana; font-weight:bold; text-decoration:underline; font-size:10; fill:#000000">source file 1</text>
	<rect x="90" y="223" width="90" height="23" 
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="96" y="236" 
		style="font-family:Verdana; font-weight:bold; text-decoration:underline; font-size:10; fill:#000000">source file 2</text>
	<rect x="190" y="150" width="67" height="23" 
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="196" y="163" 
		style="font-family:Verdana; font-weight:bold; text-decoration:underline; font-size:10; fill:#000000">output 1</text>
	<rect x="191" y="323" width="67" height="23" 
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="197" y="336" 
		style="font-family:Verdana; font-weight:bold; text-decoration:underline; font-size:10; fill:#000000">output 2</text>
	<rect x="500" y="250" width="63" height="23" 
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="522" y="263" 
		style="font-family:Verdana; font-weight:bold; text-decoration:underline; font-size:10; fill:#000000">toc</text>
	<rect x="670" y="250" width="63" height="23" 
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="687" y="263" 
		style="font-family:Verdana; font-weight:bold; text-decoration:underline; font-size:10; fill:#000000">html</text>
	<ellipse
		cx="59" cy="110"
		rx="9" ry="9"
		style="fill:#424242; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<ellipse
		cx="749" cy="209"
		rx="9" ry="9"
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<ellipse
		cx="749" cy="209"
		rx="4" ry="4"
		style="fill:#424242; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<ellipse
		cx="269" cy="109"
		rx="9" ry="9"
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<ellipse
		cx="269" cy="109"
		rx="4" ry="4"
		style="fill:#424242; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<ellipse
		cx="270" cy="282"
		rx="9" ry="9"
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<ellipse
		cx="270" cy="282"
		rx="4" ry="4"
		style="fill:#424242; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="435" y1="200" x2="435" y2="175" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="435" y1="175" x2="305" y2="175" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="305" y1="175" x2="305" y2="215" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="305" y1="215" x2="245" y2="215" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="245" y1="215" x2="245" y2="173" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="435" y1="200" x2="438" y2="193" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="435" y1="200" x2="432" y2="193" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="435" y1="200" x2="435" y2="175" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="435" y1="175" x2="305" y2="175" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="305" y1="175" x2="305" y2="365" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="305" y1="365" x2="245" y2="365" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="245" y1="365" x2="245" y2="346" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="435" y1="200" x2="438" y2="193" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="435" y1="200" x2="432" y2="193" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="610" y1="200" x2="610" y2="175" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="610" y1="175" x2="575" y2="175" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="575" y1="175" x2="575" y2="285" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="575" y1="285" x2="550" y2="285" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="550" y1="285" x2="550" y2="273" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="610" y1="200" x2="613" y2="193" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="610" y1="200" x2="607" y2="193" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="590" y1="211" x2="526" y2="211" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="590" y1="211" x2="583" y2="208" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="590" y1="211" x2="583" y2="214" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="261" y1="282" x2="216" y2="282" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="261" y1="282" x2="254" y2="279" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="261" y1="282" x2="254" y2="285" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="260" y1="109" x2="215" y2="109" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="260" y1="109" x2="253" y2="106" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="260" y1="109" x2="253" y2="112" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="740" y1="209" x2="696" y2="209" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="740" y1="209" x2="733" y2="206" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="740" y1="209" x2="733" y2="212" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="109" y1="110" x2="68" y2="110" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="109" y1="110" x2="102" y2="107" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="109" y1="110" x2="102" y2="113" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="201" y1="323" x2="201" y2="296" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="201" y1="323" x2="204" y2="316" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="201" y1="323" x2="198" y2="316" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="510" y1="250" x2="510" y2="223" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="510" y1="250" x2="513" y2="243" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="510" y1="250" x2="507" y2="243" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="200" y1="150" x2="200" y2="123" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="200" y1="150" x2="203" y2="143" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="200" y1="150" x2="197" y2="143" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="120" y1="273" x2="120" y2="246" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="120" y1="273" x2="123" y2="266" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="120" y1="273" x2="117" y2="266" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="120" y1="100" x2="120" y2="73" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="120" y1="100" x2="123" y2="93" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="120" y1="100" x2="117" y2="93" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="680" y1="250" x2="680" y2="223" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="680" y1="250" x2="683" y2="243" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="680" y1="250" x2="677" y2="243" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
</svg>
--- NEW FILE: pipeline.svg ---
<?xml version="1.0" encoding="iso-8859-1"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 20000802//EN"
"http://www.w3.org/TR/2000/CR-SVG-20000802/DTD/svg-20000802.dtd">
<svg width="6.135416666666667in" height="1.6145833333333333in" viewBox="40 35 589 155">
	<path d="M109,111
		a19,11 0 0,1 19,-11
		l 68,0
 
		a19,11 0 0,1 19,11
		l 0,0
 
		a19,11 0 0,1 -19,11
		l -68,0
 
		a19,11 0 0,1 -19,-11
		l 0,-0"
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="143" y="116" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">parser</text>
	<path d="M450,111
		a19,11 0 0,1 19,-11
		l 68,0
 
		a19,11 0 0,1 19,11
		l 0,0
 
		a19,11 0 0,1 -19,11
		l -68,0
 
		a19,11 0 0,1 -19,-11
		l 0,-0"
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="473" y="116" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">formatter</text>
	<path d="M280,111
		a19,11 0 0,1 19,-11
		l 68,0
 
		a19,11 0 0,1 19,11
		l 0,0
 
		a19,11 0 0,1 -19,11
		l -68,0
 
		a19,11 0 0,1 -19,-11
		l 0,-0"
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="315" y="116" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">linker</text>
	<rect x="89" y="50" width="78" height="23" 
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="95" y="63" 
		style="font-family:Verdana; font-weight:bold; text-decoration:underline; font-size:10; fill:#000000">source file</text>
	<rect x="360" y="150" width="63" height="23" 
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="382" y="163" 
		style="font-family:Verdana; font-weight:bold; text-decoration:underline; font-size:10; fill:#000000">toc</text>
	<rect x="530" y="150" width="63" height="23" 
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="547" y="163" 
		style="font-family:Verdana; font-weight:bold; text-decoration:underline; font-size:10; fill:#000000">html</text>
	<ellipse
		cx="59" cy="110"
		rx="9" ry="9"
		style="fill:#424242; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<ellipse
		cx="609" cy="109"
		rx="9" ry="9"
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<ellipse
		cx="609" cy="109"
		rx="4" ry="4"
		style="fill:#424242; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="470" y1="100" x2="470" y2="75" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="470" y1="75" x2="435" y2="75" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="435" y1="75" x2="435" y2="185" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="435" y1="185" x2="410" y2="185" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="410" y1="185" x2="410" y2="173" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="470" y1="100" x2="473" y2="93" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="470" y1="100" x2="467" y2="93" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="280" y1="111" x2="215" y2="111" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="280" y1="111" x2="273" y2="108" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="280" y1="111" x2="273" y2="114" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="450" y1="111" x2="386" y2="111" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="450" y1="111" x2="443" y2="108" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="450" y1="111" x2="443" y2="114" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="600" y1="109" x2="556" y2="109" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="600" y1="109" x2="593" y2="106" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="600" y1="109" x2="593" y2="112" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="109" y1="110" x2="68" y2="110" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="109" y1="110" x2="102" y2="107" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="109" y1="110" x2="102" y2="113" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="370" y1="150" x2="370" y2="123" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="370" y1="150" x2="373" y2="143" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="370" y1="150" x2="367" y2="143" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="119" y1="100" x2="119" y2="73" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="119" y1="100" x2="122" y2="93" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="119" y1="100" x2="116" y2="93" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="540" y1="150" x2="540" y2="123" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="540" y1="150" x2="543" y2="143" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="540" y1="150" x2="537" y2="143" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
</svg>
--- NEW FILE: processor.svg ---
<?xml version="1.0" encoding="iso-8859-1"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 20000802//EN"
"http://www.w3.org/TR/2000/CR-SVG-20000802/DTD/svg-20000802.dtd">
<svg width="2.5833333333333335in" height="1.4895833333333333in" viewBox="271 165 248 143">
	<path d="M340,241
		a19,11 0 0,1 19,-11
		l 68,0
 
		a19,11 0 0,1 19,11
		l 0,0
 
		a19,11 0 0,1 -19,11
		l -68,0
 
		a19,11 0 0,1 -19,-11
		l 0,-0"
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="363" y="246" 
		style="font-family:Verdana; font-weight:bold; font-size:10; fill:#000000">processor</text>
	<rect x="420" y="280" width="55" height="23" 
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="426" y="293" 
		style="font-family:Verdana; font-weight:bold; text-decoration:underline; font-size:10; fill:#000000">output</text>
	<rect x="320" y="180" width="46" height="23" 
		style="fill:#ffffcc; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<text x="326" y="193" 
		style="font-family:Verdana; font-weight:bold; text-decoration:underline; font-size:10; fill:#000000">input</text>
	<ellipse
		cx="290" cy="240"
		rx="9" ry="9"
		style="fill:#424242; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<ellipse
		cx="499" cy="239"
		rx="9" ry="9"
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<ellipse
		cx="499" cy="239"
		rx="4" ry="4"
		style="fill:#424242; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="490" y1="239" x2="446" y2="239" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="490" y1="239" x2="483" y2="236" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="490" y1="239" x2="483" y2="242" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="340" y1="240" x2="299" y2="240" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="340" y1="240" x2="333" y2="237" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="340" y1="240" x2="333" y2="243" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="430" y1="280" x2="430" y2="253" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="430" y1="280" x2="433" y2="273" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="430" y1="280" x2="427" y2="273" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="350" y1="230" x2="350" y2="203" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:10 "/>
	<line x1="350" y1="230" x2="353" y2="223" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
	<line x1="350" y1="230" x2="347" y2="223" 
		style="fill:none; stroke:#424242; stroke-width:1; stroke-dasharray:0 "/>
</svg>




More information about the Synopsis-changes mailing list