/[gzz]/manuscripts/UMLLink/umldoc-screenshot.dia
ViewVC logotype

Diff of /manuscripts/UMLLink/umldoc-screenshot.dia

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by humppake, Sat Feb 15 15:00:22 2003 UTC revision 1.2 by humppake, Sat Feb 15 17:38:31 2003 UTC
# Line 105  Line 105 
105          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
106            <dia:real val="0.775"/>            <dia:real val="0.775"/>
107          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
108          <dia:attribute name="border_color">          <dia:attribute name="border_color">
109            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
110          </dia:attribute>          </dia:attribute>
# Line 134  Line 131 
131          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
132            <dia:real val="0.9"/>            <dia:real val="0.9"/>
133          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
134          <dia:attribute name="border_color">          <dia:attribute name="border_color">
135            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
136          </dia:attribute>          </dia:attribute>
# Line 152  Line 146 
146            <dia:point val="5.91245,10.7279"/>            <dia:point val="5.91245,10.7279"/>
147          </dia:attribute>          </dia:attribute>
148          <dia:attribute name="obj_bb">          <dia:attribute name="obj_bb">
149            <dia:rectangle val="5.86245,10.6779;12.6124,11.5529"/>            <dia:rectangle val="5.86245,10.6779;12.6125,11.5529"/>
150          </dia:attribute>          </dia:attribute>
151          <dia:attribute name="elem_corner">          <dia:attribute name="elem_corner">
152            <dia:point val="5.91245,10.7279"/>            <dia:point val="5.91245,10.7279"/>
# Line 163  Line 157 
157          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
158            <dia:real val="0.775"/>            <dia:real val="0.775"/>
159          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
160          <dia:attribute name="border_color">          <dia:attribute name="border_color">
161            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
162          </dia:attribute>          </dia:attribute>
# Line 181  Line 172 
172            <dia:point val="8.6521,14.0748"/>            <dia:point val="8.6521,14.0748"/>
173          </dia:attribute>          </dia:attribute>
174          <dia:attribute name="obj_bb">          <dia:attribute name="obj_bb">
175            <dia:rectangle val="8.6021,14.0248;11.3374,14.9529"/>            <dia:rectangle val="8.6021,14.0248;11.3374,14.953"/>
176          </dia:attribute>          </dia:attribute>
177          <dia:attribute name="elem_corner">          <dia:attribute name="elem_corner">
178            <dia:point val="8.6521,14.0748"/>            <dia:point val="8.6521,14.0748"/>
# Line 192  Line 183 
183          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
184            <dia:real val="0.828169"/>            <dia:real val="0.828169"/>
185          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
186          <dia:attribute name="border_color">          <dia:attribute name="border_color">
187            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
188          </dia:attribute>          </dia:attribute>
# Line 247  Line 235 
235            <dia:point val="16.4919,19.5081"/>            <dia:point val="16.4919,19.5081"/>
236          </dia:attribute>          </dia:attribute>
237          <dia:attribute name="obj_bb">          <dia:attribute name="obj_bb">
238            <dia:rectangle val="16.4419,19.4581;18.2606,19.8397"/>            <dia:rectangle val="16.4419,19.4581;18.2607,19.8397"/>
239          </dia:attribute>          </dia:attribute>
240          <dia:attribute name="elem_corner">          <dia:attribute name="elem_corner">
241            <dia:point val="16.4919,19.5081"/>            <dia:point val="16.4919,19.5081"/>
# Line 258  Line 246 
246          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
247            <dia:real val="0.281634"/>            <dia:real val="0.281634"/>
248          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
249          <dia:attribute name="border_color">          <dia:attribute name="border_color">
250            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
251          </dia:attribute>          </dia:attribute>
# Line 287  Line 272 
272          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
273            <dia:real val="0.805866"/>            <dia:real val="0.805866"/>
274          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
275          <dia:attribute name="border_color">          <dia:attribute name="border_color">
276            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
277          </dia:attribute>          </dia:attribute>
# Line 353  Line 335 
335          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
336            <dia:real val="0.305"/>            <dia:real val="0.305"/>
337          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
338          <dia:attribute name="border_color">          <dia:attribute name="border_color">
339            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
340          </dia:attribute>          </dia:attribute>
# Line 382  Line 361 
361          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
362            <dia:real val="0.415669"/>            <dia:real val="0.415669"/>
363          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
364          <dia:attribute name="border_color">          <dia:attribute name="border_color">
365            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
366          </dia:attribute>          </dia:attribute>
# Line 400  Line 376 
376            <dia:point val="27.9886,29.8762"/>            <dia:point val="27.9886,29.8762"/>
377          </dia:attribute>          </dia:attribute>
378          <dia:attribute name="obj_bb">          <dia:attribute name="obj_bb">
379            <dia:rectangle val="27.9386,29.8262;28.9972,30.3274"/>            <dia:rectangle val="27.9386,29.8262;28.9973,30.3274"/>
380          </dia:attribute>          </dia:attribute>
381          <dia:attribute name="elem_corner">          <dia:attribute name="elem_corner">
382            <dia:point val="27.9886,29.8762"/>            <dia:point val="27.9886,29.8762"/>
# Line 411  Line 387 
387          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
388            <dia:real val="0.40117"/>            <dia:real val="0.40117"/>
389          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
390          <dia:attribute name="border_color">          <dia:attribute name="border_color">
391            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
392          </dia:attribute>          </dia:attribute>
# Line 440  Line 413 
413          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
414            <dia:real val="0.395"/>            <dia:real val="0.395"/>
415          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
416          <dia:attribute name="border_color">          <dia:attribute name="border_color">
417            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
418          </dia:attribute>          </dia:attribute>
# Line 458  Line 428 
428            <dia:point val="25.2697,29.2762"/>            <dia:point val="25.2697,29.2762"/>
429          </dia:attribute>          </dia:attribute>
430          <dia:attribute name="obj_bb">          <dia:attribute name="obj_bb">
431            <dia:rectangle val="25.2197,29.2262;26.1754,29.5994"/>            <dia:rectangle val="25.2197,29.2262;26.1753,29.5993"/>
432          </dia:attribute>          </dia:attribute>
433          <dia:attribute name="elem_corner">          <dia:attribute name="elem_corner">
434            <dia:point val="25.2697,29.2762"/>            <dia:point val="25.2697,29.2762"/>
# Line 469  Line 439 
439          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
440            <dia:real val="0.273137"/>            <dia:real val="0.273137"/>
441          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
442          <dia:attribute name="border_color">          <dia:attribute name="border_color">
443            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
444          </dia:attribute>          </dia:attribute>
# Line 535  Line 502 
502          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
503            <dia:real val="0.336004"/>            <dia:real val="0.336004"/>
504          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
505          <dia:attribute name="border_color">          <dia:attribute name="border_color">
506            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
507          </dia:attribute>          </dia:attribute>
# Line 553  Line 517 
517            <dia:point val="20.9432,14.2918"/>            <dia:point val="20.9432,14.2918"/>
518          </dia:attribute>          </dia:attribute>
519          <dia:attribute name="obj_bb">          <dia:attribute name="obj_bb">
520            <dia:rectangle val="20.8932,14.2418;21.9827,14.7203"/>            <dia:rectangle val="20.8932,14.2418;21.9826,14.7203"/>
521          </dia:attribute>          </dia:attribute>
522          <dia:attribute name="elem_corner">          <dia:attribute name="elem_corner">
523            <dia:point val="20.9432,14.2918"/>            <dia:point val="20.9432,14.2918"/>
# Line 564  Line 528 
528          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
529            <dia:real val="0.378504"/>            <dia:real val="0.378504"/>
530          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
531          <dia:attribute name="border_color">          <dia:attribute name="border_color">
532            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
533          </dia:attribute>          </dia:attribute>
# Line 582  Line 543 
543            <dia:point val="18.5832,15.7918"/>            <dia:point val="18.5832,15.7918"/>
544          </dia:attribute>          </dia:attribute>
545          <dia:attribute name="obj_bb">          <dia:attribute name="obj_bb">
546            <dia:rectangle val="18.5332,15.7418;19.1879,16.1756"/>            <dia:rectangle val="18.5332,15.7418;19.1879,16.1755"/>
547          </dia:attribute>          </dia:attribute>
548          <dia:attribute name="elem_corner">          <dia:attribute name="elem_corner">
549            <dia:point val="18.5832,15.7918"/>            <dia:point val="18.5832,15.7918"/>
# Line 593  Line 554 
554          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
555            <dia:real val="0.333743"/>            <dia:real val="0.333743"/>
556          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
557          <dia:attribute name="border_color">          <dia:attribute name="border_color">
558            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
559          </dia:attribute>          </dia:attribute>
# Line 622  Line 580 
580          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
581            <dia:real val="0.317835"/>            <dia:real val="0.317835"/>
582          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
583          <dia:attribute name="border_color">          <dia:attribute name="border_color">
584            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
585          </dia:attribute>          </dia:attribute>
# Line 640  Line 595 
595            <dia:point val="17.2647,11.19"/>            <dia:point val="17.2647,11.19"/>
596          </dia:attribute>          </dia:attribute>
597          <dia:attribute name="obj_bb">          <dia:attribute name="obj_bb">
598            <dia:rectangle val="17.2147,11.14;18.0784,11.515"/>            <dia:rectangle val="17.2147,11.14;18.0785,11.515"/>
599          </dia:attribute>          </dia:attribute>
600          <dia:attribute name="elem_corner">          <dia:attribute name="elem_corner">
601            <dia:point val="17.2647,11.19"/>            <dia:point val="17.2647,11.19"/>
# Line 651  Line 606 
606          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
607            <dia:real val="0.275"/>            <dia:real val="0.275"/>
608          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
609          <dia:attribute name="border_color">          <dia:attribute name="border_color">
610            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
611          </dia:attribute>          </dia:attribute>
# Line 670  Line 622 
622          <dia:point val="21.4379,14.6703"/>          <dia:point val="21.4379,14.6703"/>
623        </dia:attribute>        </dia:attribute>
624        <dia:attribute name="obj_bb">        <dia:attribute name="obj_bb">
625          <dia:rectangle val="21.3716,14.604;28.5343,29.9426"/>          <dia:rectangle val="21.3715,14.6039;28.5343,29.9426"/>
626        </dia:attribute>        </dia:attribute>
627        <dia:attribute name="conn_endpoints">        <dia:attribute name="conn_endpoints">
628          <dia:point val="21.4379,14.6703"/>          <dia:point val="21.4379,14.6703"/>
# Line 682  Line 634 
634        <dia:attribute name="line_color">        <dia:attribute name="line_color">
635          <dia:color val="#ff0000"/>          <dia:color val="#ff0000"/>
636        </dia:attribute>        </dia:attribute>
       <dia:attribute name="line_width">  
         <dia:real val="0.1"/>  
       </dia:attribute>  
637        <dia:connections>        <dia:connections>
638          <dia:connection handle="0" to="O16" connection="6"/>          <dia:connection handle="0" to="O16" connection="6"/>
639          <dia:connection handle="1" to="O11" connection="1"/>          <dia:connection handle="1" to="O11" connection="1"/>
# Line 731  Line 680 
680            <dia:point val="21.8698,5.48803"/>            <dia:point val="21.8698,5.48803"/>
681          </dia:attribute>          </dia:attribute>
682          <dia:attribute name="obj_bb">          <dia:attribute name="obj_bb">
683            <dia:rectangle val="21.8198,5.43803;22.4922,5.713"/>            <dia:rectangle val="21.8198,5.43803;22.4923,5.71301"/>
684          </dia:attribute>          </dia:attribute>
685          <dia:attribute name="elem_corner">          <dia:attribute name="elem_corner">
686            <dia:point val="21.8698,5.48803"/>            <dia:point val="21.8698,5.48803"/>
# Line 742  Line 691 
691          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
692            <dia:real val="0.174978"/>            <dia:real val="0.174978"/>
693          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
694          <dia:attribute name="border_color">          <dia:attribute name="border_color">
695            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
696          </dia:attribute>          </dia:attribute>
# Line 760  Line 706 
706            <dia:point val="23.5037,5.838"/>            <dia:point val="23.5037,5.838"/>
707          </dia:attribute>          </dia:attribute>
708          <dia:attribute name="obj_bb">          <dia:attribute name="obj_bb">
709            <dia:rectangle val="23.4537,5.788;24.0723,6.06298"/>            <dia:rectangle val="23.4537,5.788;24.0722,6.06298"/>
710          </dia:attribute>          </dia:attribute>
711          <dia:attribute name="elem_corner">          <dia:attribute name="elem_corner">
712            <dia:point val="23.5037,5.838"/>            <dia:point val="23.5037,5.838"/>
# Line 771  Line 717 
717          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
718            <dia:real val="0.174978"/>            <dia:real val="0.174978"/>
719          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
720          <dia:attribute name="border_color">          <dia:attribute name="border_color">
721            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
722          </dia:attribute>          </dia:attribute>
# Line 800  Line 743 
743          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
744            <dia:real val="0.209121"/>            <dia:real val="0.209121"/>
745          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
746          <dia:attribute name="border_color">          <dia:attribute name="border_color">
747            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
748          </dia:attribute>          </dia:attribute>
# Line 829  Line 769 
769          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
770            <dia:real val="0.303723"/>            <dia:real val="0.303723"/>
771          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
772          <dia:attribute name="border_color">          <dia:attribute name="border_color">
773            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
774          </dia:attribute>          </dia:attribute>
# Line 858  Line 795 
795          <dia:attribute name="elem_height">          <dia:attribute name="elem_height">
796            <dia:real val="0.676471"/>            <dia:real val="0.676471"/>
797          </dia:attribute>          </dia:attribute>
         <dia:attribute name="border_width">  
           <dia:real val="0.1"/>  
         </dia:attribute>  
798          <dia:attribute name="border_color">          <dia:attribute name="border_color">
799            <dia:color val="#ff0000"/>            <dia:color val="#ff0000"/>
800          </dia:attribute>          </dia:attribute>
# Line 889  Line 823 
823        <dia:attribute name="line_color">        <dia:attribute name="line_color">
824          <dia:color val="#ff0000"/>          <dia:color val="#ff0000"/>
825        </dia:attribute>        </dia:attribute>
       <dia:attribute name="line_width">  
         <dia:real val="0.1"/>  
       </dia:attribute>  
826        <dia:connections>        <dia:connections>
827          <dia:connection handle="0" to="O1" connection="4"/>          <dia:connection handle="0" to="O1" connection="4"/>
828          <dia:connection handle="1" to="O9" connection="3"/>          <dia:connection handle="1" to="O9" connection="3"/>
# Line 914  Line 845 
845        <dia:attribute name="line_color">        <dia:attribute name="line_color">
846          <dia:color val="#ff0000"/>          <dia:color val="#ff0000"/>
847        </dia:attribute>        </dia:attribute>
       <dia:attribute name="line_width">  
         <dia:real val="0.1"/>  
       </dia:attribute>  
848        <dia:connections>        <dia:connections>
849          <dia:connection handle="0" to="O2" connection="4"/>          <dia:connection handle="0" to="O2" connection="4"/>
850          <dia:connection handle="1" to="O10" connection="3"/>          <dia:connection handle="1" to="O10" connection="3"/>
# Line 924  Line 852 
852      </dia:object>      </dia:object>
853      <dia:object type="Standard - Line" version="0" id="O29">      <dia:object type="Standard - Line" version="0" id="O29">
854        <dia:attribute name="obj_pos">        <dia:attribute name="obj_pos">
855          <dia:point val="9.96978,14.0748"/>          <dia:point val="11.2874,14.4889"/>
856        </dia:attribute>        </dia:attribute>
857        <dia:attribute name="obj_bb">        <dia:attribute name="obj_bb">
858          <dia:rectangle val="9.90634,11.4016;17.71,14.1382"/>          <dia:rectangle val="11.2199,11.2599;17.3323,14.5565"/>
859        </dia:attribute>        </dia:attribute>
860        <dia:attribute name="conn_endpoints">        <dia:attribute name="conn_endpoints">
861          <dia:point val="9.96978,14.0748"/>          <dia:point val="11.2874,14.4889"/>
862          <dia:point val="17.6465,11.465"/>          <dia:point val="17.2647,11.3275"/>
863        </dia:attribute>        </dia:attribute>
864        <dia:attribute name="numcp">        <dia:attribute name="numcp">
865          <dia:int val="1"/>          <dia:int val="1"/>
# Line 939  Line 867 
867        <dia:attribute name="line_color">        <dia:attribute name="line_color">
868          <dia:color val="#ff0000"/>          <dia:color val="#ff0000"/>
869        </dia:attribute>        </dia:attribute>
       <dia:attribute name="line_width">  
         <dia:real val="0.1"/>  
       </dia:attribute>  
870        <dia:connections>        <dia:connections>
871          <dia:connection handle="0" to="O4" connection="1"/>          <dia:connection handle="0" to="O4" connection="4"/>
872          <dia:connection handle="1" to="O19" connection="6"/>          <dia:connection handle="1" to="O19" connection="3"/>
873        </dia:connections>        </dia:connections>
874      </dia:object>      </dia:object>
875      <dia:object type="Standard - Line" version="0" id="O30">      <dia:object type="Standard - Line" version="0" id="O30">
# Line 952  Line 877 
877          <dia:point val="21.3731,21.8772"/>          <dia:point val="21.3731,21.8772"/>
878        </dia:attribute>        </dia:attribute>
879        <dia:attribute name="obj_bb">        <dia:attribute name="obj_bb">
880          <dia:rectangle val="21.3026,13.6908;28.519,21.9477"/>          <dia:rectangle val="21.3026,13.6909;28.5189,21.9477"/>
881        </dia:attribute>        </dia:attribute>
882        <dia:attribute name="conn_endpoints">        <dia:attribute name="conn_endpoints">
883          <dia:point val="21.3731,21.8772"/>          <dia:point val="21.3731,21.8772"/>
# Line 964  Line 889 
889        <dia:attribute name="line_color">        <dia:attribute name="line_color">
890          <dia:color val="#ff0000"/>          <dia:color val="#ff0000"/>
891        </dia:attribute>        </dia:attribute>
       <dia:attribute name="line_width">  
         <dia:real val="0.1"/>  
       </dia:attribute>  
892        <dia:connections>        <dia:connections>
893          <dia:connection handle="0" to="O7" connection="1"/>          <dia:connection handle="0" to="O7" connection="1"/>
894          <dia:connection handle="1" to="O26" connection="6"/>          <dia:connection handle="1" to="O26" connection="6"/>
# Line 977  Line 899 
899          <dia:point val="26.571,31.0262"/>          <dia:point val="26.571,31.0262"/>
900        </dia:attribute>        </dia:attribute>
901        <dia:attribute name="obj_bb">        <dia:attribute name="obj_bb">
902          <dia:rectangle val="22.5797,6.65066;26.6283,31.0836"/>          <dia:rectangle val="22.5797,6.65066;26.6283,31.0835"/>
903        </dia:attribute>        </dia:attribute>
904        <dia:attribute name="conn_endpoints">        <dia:attribute name="conn_endpoints">
905          <dia:point val="26.571,31.0262"/>          <dia:point val="26.571,31.0262"/>
# Line 989  Line 911 
911        <dia:attribute name="line_color">        <dia:attribute name="line_color">
912          <dia:color val="#ff0000"/>          <dia:color val="#ff0000"/>
913        </dia:attribute>        </dia:attribute>
       <dia:attribute name="line_width">  
         <dia:real val="0.1"/>  
       </dia:attribute>  
914        <dia:connections>        <dia:connections>
915          <dia:connection handle="0" to="O12" connection="1"/>          <dia:connection handle="0" to="O12" connection="1"/>
916          <dia:connection handle="1" to="O24" connection="6"/>          <dia:connection handle="1" to="O24" connection="6"/>
# Line 1014  Line 933 
933        <dia:attribute name="line_color">        <dia:attribute name="line_color">
934          <dia:color val="#ff0000"/>          <dia:color val="#ff0000"/>
935        </dia:attribute>        </dia:attribute>
       <dia:attribute name="line_width">  
         <dia:real val="0.1"/>  
       </dia:attribute>  
936        <dia:connections>        <dia:connections>
937          <dia:connection handle="0" to="O17" connection="1"/>          <dia:connection handle="0" to="O17" connection="1"/>
938          <dia:connection handle="1" to="O24" connection="6"/>          <dia:connection handle="1" to="O24" connection="6"/>
# Line 1027  Line 943 
943          <dia:point val="12.5624,11.1154"/>          <dia:point val="12.5624,11.1154"/>
944        </dia:attribute>        </dia:attribute>
945        <dia:attribute name="obj_bb">        <dia:attribute name="obj_bb">
946          <dia:rectangle val="12.494,5.56895;21.9638,11.1839"/>          <dia:rectangle val="12.494,5.56895;21.9638,11.1838"/>
947        </dia:attribute>        </dia:attribute>
948        <dia:attribute name="conn_endpoints">        <dia:attribute name="conn_endpoints">
949          <dia:point val="12.5624,11.1154"/>          <dia:point val="12.5624,11.1154"/>
# Line 1039  Line 955 
955        <dia:attribute name="line_color">        <dia:attribute name="line_color">
956          <dia:color val="#ff0000"/>          <dia:color val="#ff0000"/>
957        </dia:attribute>        </dia:attribute>
       <dia:attribute name="line_width">  
         <dia:real val="0.1"/>  
       </dia:attribute>  
958        <dia:connections>        <dia:connections>
959          <dia:connection handle="0" to="O3" connection="4"/>          <dia:connection handle="0" to="O3" connection="4"/>
960          <dia:connection handle="1" to="O22" connection="5"/>          <dia:connection handle="1" to="O22" connection="5"/>
# Line 1064  Line 977 
977        <dia:attribute name="line_color">        <dia:attribute name="line_color">
978          <dia:color val="#ff0000"/>          <dia:color val="#ff0000"/>
979        </dia:attribute>        </dia:attribute>
       <dia:attribute name="line_width">  
         <dia:real val="0.1"/>  
       </dia:attribute>  
980        <dia:connections>        <dia:connections>
981          <dia:connection handle="0" to="O6" connection="1"/>          <dia:connection handle="0" to="O6" connection="1"/>
982          <dia:connection handle="1" to="O25" connection="6"/>          <dia:connection handle="1" to="O25" connection="6"/>
# Line 1077  Line 987 
987          <dia:point val="23.763,6.01298"/>          <dia:point val="23.763,6.01298"/>
988        </dia:attribute>        </dia:attribute>
989        <dia:attribute name="obj_bb">        <dia:attribute name="obj_bb">
990          <dia:rectangle val="23.7043,5.95426;28.5266,29.935"/>          <dia:rectangle val="23.7043,5.95425;28.5266,29.9349"/>
991        </dia:attribute>        </dia:attribute>
992        <dia:attribute name="conn_endpoints">        <dia:attribute name="conn_endpoints">
993          <dia:point val="23.763,6.01298"/>          <dia:point val="23.763,6.01298"/>
# Line 1089  Line 999 
999        <dia:attribute name="line_color">        <dia:attribute name="line_color">
1000          <dia:color val="#ff0000"/>          <dia:color val="#ff0000"/>
1001        </dia:attribute>        </dia:attribute>
       <dia:attribute name="line_width">  
         <dia:real val="0.1"/>  
       </dia:attribute>  
1002        <dia:connections>        <dia:connections>
1003          <dia:connection handle="0" to="O23" connection="6"/>          <dia:connection handle="0" to="O23" connection="6"/>
1004          <dia:connection handle="1" to="O11" connection="1"/>          <dia:connection handle="1" to="O11" connection="1"/>
# Line 1102  Line 1009 
1009          <dia:point val="25.6975,29.2762"/>          <dia:point val="25.6975,29.2762"/>
1010        </dia:attribute>        </dia:attribute>
1011        <dia:attribute name="obj_bb">        <dia:attribute name="obj_bb">
1012          <dia:rectangle val="17.7217,13.6906;25.7648,29.3435"/>          <dia:rectangle val="17.7216,13.6905;25.7648,29.3435"/>
1013        </dia:attribute>        </dia:attribute>
1014        <dia:attribute name="conn_endpoints">        <dia:attribute name="conn_endpoints">
1015          <dia:point val="25.6975,29.2762"/>          <dia:point val="25.6975,29.2762"/>
# Line 1114  Line 1021 
1021        <dia:attribute name="line_color">        <dia:attribute name="line_color">
1022          <dia:color val="#ff0000"/>          <dia:color val="#ff0000"/>
1023        </dia:attribute>        </dia:attribute>
       <dia:attribute name="line_width">  
         <dia:real val="0.1"/>  
       </dia:attribute>  
1024        <dia:connections>        <dia:connections>
1025          <dia:connection handle="0" to="O13" connection="1"/>          <dia:connection handle="0" to="O13" connection="1"/>
1026          <dia:connection handle="1" to="O15" connection="6"/>          <dia:connection handle="1" to="O15" connection="6"/>
# Line 1127  Line 1031 
1031          <dia:point val="12.5624,11.1154"/>          <dia:point val="12.5624,11.1154"/>
1032        </dia:attribute>        </dia:attribute>
1033        <dia:attribute name="obj_bb">        <dia:attribute name="obj_bb">
1034          <dia:rectangle val="12.5079,10.6444;16.9622,11.17"/>          <dia:rectangle val="12.5079,10.6444;16.9622,11.1699"/>
1035        </dia:attribute>        </dia:attribute>
1036        <dia:attribute name="conn_endpoints">        <dia:attribute name="conn_endpoints">
1037          <dia:point val="12.5624,11.1154"/>          <dia:point val="12.5624,11.1154"/>
# Line 1139  Line 1043 
1043        <dia:attribute name="line_color">        <dia:attribute name="line_color">
1044          <dia:color val="#ff0000"/>          <dia:color val="#ff0000"/>
1045        </dia:attribute>        </dia:attribute>
       <dia:attribute name="line_width">  
         <dia:real val="0.1"/>  
       </dia:attribute>  
1046        <dia:connections>        <dia:connections>
1047          <dia:connection handle="0" to="O3" connection="4"/>          <dia:connection handle="0" to="O3" connection="4"/>
1048          <dia:connection handle="1" to="O18" connection="3"/>          <dia:connection handle="1" to="O18" connection="3"/>

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26