Added bounding boxes to the figures that had text cut off. Reduced the line

weight in the figures describing the operations.

git-svn-id: http://svn.complang.org/ragel/trunk@21 052ea7fc-9027-0410-9066-f65837a77df0

diff --git a/doc/bmregex.fig b/doc/bmregex.fig
index 4eae976..881f534 100644 (file)
--- a/doc/bmregex.fig
+++ b/doc/bmregex.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -16,71 +16,94 @@ Single
 1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3850 33 33 33 3850 66 3883
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3850 383 383 1333 3850 1716 4233
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3933 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3850 139 3850 237 3850 354 3850 485 3850 624 3850 766 3850
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3783 933 3850 766 3900 766 3783
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3800 IN\001
 # 3
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6866 3850 383 383 6866 3850 7249 4233
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6866 3850 450 450 6866 3850 7316 4300
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6866 3933 3\001
-# 3 -> 3
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  7183 3516 7208 3410 7201 3312 7162 3227 7093 3159 6994 3115 6866 3100 6772 3108 6691 3131 6625 3168 6575 3218 6544 3279 6533 3350
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 6583 3350 6550 3516 6483 3350 6583 3350
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6866 3050 '1'..'3'\001
 # 2
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4866 3850 383 383 4866 3850 5249 4233
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4866 3933 2\001
-# 3 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
-  6466 4066 6407 4091 6345 4115 6283 4137 6220 4156 6159 4172 6100 4183 6001 4198 5917 4209 5839 4214 5760 4212 5672 4203 5566 4183 5533 4174 5499 4166 5464 4156 5428 4145 5390 4132 5350 4116
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 5333 4166 5200 4050 5383 4066 5333 4166
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5833 4116 DEF\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 2933 3850 383 383 2933 3850 3316 4233
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2933 3933 1\001
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 3783 933 3850 766 3900 766 3783
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        6583 3350 6550 3516 6483 3350 6583 3350
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        5333 4166 5200 4050 5383 4066 5333 4166
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2366 3783 2533 3850 2366 3900 2366 3783
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2700 3400 2666 3566 2600 3400 2700 3400
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4300 3783 4466 3850 4300 3900 4300 3783
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        6233 3783 6400 3850 6233 3883 6233 3783
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4633 3400 4600 3566 4533 3400 4633 3400
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        -90 2835 7515 2835 7515 4365 -90 4365 -90 2835
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 3850 139 3850 237 3850 354 3850 485 3850 624 3850
+        766 3850
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 3 -> 3
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        7183 3516 7208 3410 7201 3312 7162 3227 7093 3159 6994 3115
+        6866 3100 6772 3108 6691 3131 6625 3168 6575 3218 6544 3279
+        6533 3350
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+# 3 -> 2
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
+        6466 4066 6407 4091 6345 4115 6283 4137 6220 4156 6159 4172
+        6100 4183 6001 4198 5917 4209 5839 4214 5760 4212 5672 4203
+        5566 4183 5533 4174 5499 4166 5464 4156 5428 4145 5390 4132
+        5350 4116
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 0.000
 # 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1733 3850 1834 3850 1938 3850 2043 3850 2150 3850 2258 3850 2366 3850
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2366 3783 2533 3850 2366 3900 2366 3783
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2133 3800 'a'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        1733 3850 1834 3850 1938 3850 2043 3850 2150 3850 2258 3850
+        2366 3850
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 1 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  3200 3566 3220 3467 3216 3374 3185 3291 3128 3225 3044 3182 2933 3166 2849 3174 2782 3197 2729 3233 2690 3280 2664 3336 2650 3400
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2700 3400 2666 3566 2600 3400 2700 3400
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2933 3116 'b'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        3200 3566 3220 3467 3216 3374 3185 3291 3128 3225 3044 3182
+        2933 3166 2849 3174 2782 3197 2729 3233 2690 3280 2664 3336
+        2650 3400
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 1 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  3333 3850 3481 3850 3639 3850 3804 3850 3971 3850 4138 3850 4300 3850
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4300 3783 4466 3850 4300 3900 4300 3783
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3900 3800 'c'..'z'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        3333 3850 3481 3850 3639 3850 3804 3850 3971 3850 4138 3850
+        4300 3850
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 2 -> 3
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
-  5266 3850 5316 3848 5366 3845 5416 3841 5466 3837 5516 3834 5566 3833 5676 3833 5764 3833 5839 3833 5913 3833 5996 3833 6100 3833 6123 3833 6145 3833 6166 3833 6187 3833 6209 3833 6233 3833
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 6233 3783 6400 3850 6233 3883 6233 3783
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5833 3783 '1'..'3'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
+        5266 3850 5316 3848 5366 3845 5416 3841 5466 3837 5516 3834
+        5566 3833 5676 3833 5764 3833 5839 3833 5913 3833 5996 3833
+        6100 3833 6123 3833 6145 3833 6166 3833 6187 3833 6209 3833
+        6233 3833
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 0.000
 # 2 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  5133 3566 5154 3467 5149 3374 5118 3291 5061 3225 4977 3182 4866 3166 4783 3174 4715 3197 4662 3233 4623 3280 4597 3336 4583 3400
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4633 3400 4600 3566 4533 3400 4633 3400
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4866 3116 DEF\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        5133 3566 5154 3467 5149 3374 5118 3291 5061 3225 4977 3182
+        4866 3166 4783 3174 4715 3197 4662 3233 4623 3280 4597 3336
+        4583 3400
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1333 3933 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 3800 IN\001
+4 1 0 0 0 0 14 0.0000 2 150 120 6866 3933 3\001
+4 1 0 0 0 0 14 0.0000 2 165 540 6866 3050 '1'..'3'\001
+4 1 0 0 0 0 14 0.0000 2 150 120 4866 3933 2\001
+4 1 0 0 0 0 14 0.0000 2 150 465 5833 4116 DEF\001
+4 1 0 0 0 0 14 0.0000 2 165 120 2933 3933 1\001
+4 1 0 0 0 0 14 0.0000 2 150 195 2133 3800 'a'\001
+4 1 0 0 0 0 14 0.0000 2 150 210 2933 3116 'b'\001
+4 1 0 0 0 0 14 0.0000 2 150 510 3900 3800 'c'..'z'\001
+4 1 0 0 0 0 14 0.0000 2 165 540 5833 3783 '1'..'3'\001
+4 1 0 0 0 0 14 0.0000 2 150 465 4866 3116 DEF\001

diff --git a/doc/exconcat.fig b/doc/exconcat.fig
index cc671fc..e634139 100644 (file)
--- a/doc/exconcat.fig
+++ b/doc/exconcat.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -16,140 +16,202 @@ Single
 1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 10216 33 33 33 10216 66 10249
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 10216 383 383 1333 10216 1716 10599
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 10300 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 10216 139 10216 237 10216 354 10216 485 10216 624 10216 766 10216
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 10150 933 10216 766 10266 766 10150
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 10166 IN\001
 # 5
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8466 9950 383 383 8466 9950 8849 10333
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8466 9950 450 450 8466 9950 8916 10400
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8466 10033 5\001
-# 5 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
-  8050 10133 7841 10211 7604 10290 7347 10364 7078 10425 6804 10467 6533 10483 5044 10483 4046 10483 3441 10483 3130 10483 3016 10483 3000 10483 2806 10478 2610 10463 2416 10441 2228 10414 2049 10383 1883 10350
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1866 10400 1716 10316 1883 10300 1866 10400
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4666 10433 10\001
 # 2
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3000 9283 383 383 3000 9283 3383 9666
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3000 9366 2\001
-# 5 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  8000 9900 7398 9822 6642 9727 5806 9625 4962 9522 4186 9427 3550 9350
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3550 9400 3383 9333 3550 9300 3550 9400
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5600 9550 'E'\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 10400 9283 383 383 10400 9283 10783 9666
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 10400 9366 1\001
+# 3
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4666 8466 383 383 4666 8466 5049 8849
+# 4
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6533 9000 383 383 6533 9000 6916 9383
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 10150 933 10216 766 10266 766 10150
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1866 10400 1716 10316 1883 10300 1866 10400
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        3550 9400 3383 9333 3550 9300 3550 9400
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        9850 9416 10033 9416 9883 9516 9850 9416
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1100 9766 1066 9933 1000 9766 1100 9766
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2566 9650 2733 9583 2650 9733 2566 9650
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        10116 9750 10250 9633 10216 9800 10116 9750
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1750 9833 1583 9916 1666 9750 1750 9833
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        10250 8750 10283 8916 10150 8800 10250 8750
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4150 8666 4316 8633 4200 8766 4150 8666
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1400 10783 1383 10600 1500 10733 1400 10783
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        10166 8833 10133 9000 10066 8833 10166 8833
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1500 9716 1366 9833 1400 9666 1500 9716
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        9916 8983 10066 9083 9883 9083 9916 8983
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        6000 8800 6150 8900 5966 8900 6000 8800
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        7916 9650 8050 9766 7866 9750 7916 9650
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        9850 9183 10016 9250 9850 9283 9850 9183
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        11160 7065 -45 7065 -45 12015 11160 12015 11160 7065
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 10216 139 10216 237 10216 354 10216 485 10216 624 10216
+        766 10216
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 5 -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
+        8050 10133 7841 10211 7604 10290 7347 10364 7078 10425 6804 10467
+        6533 10483 5044 10483 4046 10483 3441 10483 3130 10483 3016 10483
+        3000 10483 2806 10478 2610 10463 2416 10441 2228 10414 2049 10383
+        1883 10350
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 0.000
+# 5 -> 2
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        8000 9900 7398 9822 6642 9727 5806 9625 4962 9522 4186 9427
+        3550 9350
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 5 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  8900 9800 9049 9747 9209 9691 9377 9633 9545 9575 9710 9519 9866 9466
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 9850 9416 10033 9416 9883 9516 9850 9416
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 9466 9500 DEF\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        8900 9800 9049 9747 9209 9691 9377 9633 9545 9575 9710 9519
+        9866 9466
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 0 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  1600 9933 1620 9834 1616 9740 1585 9658 1528 9592 1444 9549 1333 9533 1249 9541 1182 9564 1129 9600 1090 9646 1064 9703 1050 9766
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1100 9766 1066 9933 1000 9766 1100 9766
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 9483 10\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        1600 9933 1620 9834 1616 9740 1585 9658 1528 9592 1444 9549
+        1333 9533 1249 9541 1182 9564 1129 9600 1090 9646 1064 9703
+        1050 9766
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 0 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  1716 10150 1810 10122 1908 10089 2008 10052 2108 10010 2205 9965 2300 9916 2356 9889 2411 9856 2462 9820 2511 9782 2556 9741 2600 9700
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2566 9650 2733 9583 2650 9733 2566 9650
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2166 9866 'E'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        1716 10150 1810 10122 1908 10089 2008 10052 2108 10010 2205 9965
+        2300 9916 2356 9889 2411 9856 2462 9820 2511 9782 2556 9741
+        2600 9700
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
-  1533 10550 1735 10781 1935 10961 2147 11093 2386 11183 2665 11234 3000 11250 3025 11250 3202 11250 3683 11250 4619 11250 6163 11250 8466 11250 8921 11199 9270 11054 9541 10829 9762 10533 9962 10181 10166 9783
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 10116 9750 10250 9633 10216 9800 10116 9750
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5600 11200 DEF\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
+        1533 10550 1735 10781 1935 10961 2147 11093 2386 11183 2665 11234
+        3000 11250 3025 11250 3202 11250 3683 11250 4619 11250 6163 11250
+        8466 11250 8921 11199 9270 11054 9541 10829 9762 10533 9962 10181
+        10166 9783
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 0.000
 # 2 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  2616 9366 2522 9393 2424 9422 2325 9456 2225 9493 2127 9536 2033 9583 1963 9623 1902 9661 1847 9697 1797 9732 1748 9766 1700 9800
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1750 9833 1583 9916 1666 9750 1750 9833
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2166 9450 10\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        2616 9366 2522 9393 2424 9422 2325 9456 2225 9493 2127 9536
+        2033 9583 1963 9623 1902 9661 1847 9697 1797 9732 1748 9766
+        1700 9800
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 2 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 25
-  3250 8983 3275 8967 3300 8953 3325 8937 3350 8919 3375 8896 3400 8866 3659 8554 3824 8222 3952 7906 4097 7638 4317 7452 4666 7383 4684 7383 4807 7383 5141 7383 5792 7383 6865 7383 8466 7383 8911 7429 9260 7560 9539 7768 9772 8045 9984 8380 10200 8766
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 10250 8750 10283 8916 10150 8800 10250 8750
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6533 7333 DEF\001
-# 3
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4666 8466 383 383 4666 8466 5049 8849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4666 8550 3\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 25
+        3250 8983 3275 8967 3300 8953 3325 8937 3350 8919 3375 8896
+        3400 8866 3659 8554 3824 8222 3952 7906 4097 7638 4317 7452
+        4666 7383 4684 7383 4807 7383 5141 7383 5792 7383 6865 7383
+        8466 7383 8911 7429 9260 7560 9539 7768 9772 8045 9984 8380
+        10200 8766
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        0.000
 # 2 -> 3
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  3350 9116 3472 9055 3606 8990 3745 8922 3888 8853 4029 8784 4166 8716
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4150 8666 4316 8633 4200 8766 4150 8666
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3833 8800 'O'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        3350 9116 3472 9055 3606 8990 3745 8922 3888 8853 4029 8784
+        4166 8716
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 1 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 31
-  10366 9666 10365 9691 10362 9715 10358 9737 10354 9756 10351 9772 10350 9783 10276 10083 10211 10331 10137 10545 10038 10746 9898 10952 9700 11183 9509 11404 9339 11583 9170 11722 8982 11821 8754 11880 8466 11900 6163 11900 4619 11900 3683 11900 3202 11900 3025 11900 3000 11900 2609 11865 2294 11764 2037 11600 1822 11374 1631 11089 1450 10750
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1400 10783 1383 10600 1500 10733 1400 10783
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5600 11850 10\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 31
+        10366 9666 10365 9691 10362 9715 10358 9737 10354 9756 10351 9772
+        10350 9783 10276 10083 10211 10331 10137 10545 10038 10746 9898 10952
+        9700 11183 9509 11404 9339 11583 9170 11722 8982 11821 8754 11880
+        8466 11900 6163 11900 4619 11900 3683 11900 3202 11900 3025 11900
+        3000 11900 2609 11865 2294 11764 2037 11600 1822 11374 1631 11089
+        1450 10750
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 1 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  10666 9000 10687 8900 10682 8807 10652 8725 10595 8659 10511 8615 10400 8600 10316 8608 10248 8630 10195 8666 10156 8713 10130 8769 10116 8833
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 10166 8833 10133 9000 10066 8833 10166 8833
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 10400 8550 DEF\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        10666 9000 10687 8900 10682 8807 10652 8725 10595 8659 10511 8615
+        10400 8600 10316 8608 10248 8630 10195 8666 10156 8713 10130 8769
+        10116 8833
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 3 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  4266 8466 4030 8471 3764 8488 3477 8520 3180 8572 2884 8647 2600 8750 2326 8880 2098 8999 1906 9122 1740 9267 1591 9448 1450 9683
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1500 9716 1366 9833 1400 9666 1500 9716
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3000 8516 10\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        4266 8466 4030 8471 3764 8488 3477 8520 3180 8572 2884 8647
+        2600 8750 2326 8880 2098 8999 1906 9122 1740 9267 1591 9448
+        1450 9683
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 3 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 31
-  5050 8400 5107 8391 5161 8383 5214 8375 5266 8366 5316 8358 5366 8350 5462 8344 5539 8342 5606 8343 5671 8346 5744 8348 5833 8350 6455 8390 6959 8432 7402 8483 7840 8551 8332 8643 8933 8766 9088 8804 9213 8837 9322 8868 9430 8901 9551 8938 9700 8983 9740 8991 9777 9000 9812 9008 9844 9016 9873 9025 9900 9033
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 9916 8983 10066 9083 9883 9083 9916 8983
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 7466 8433 DEF\001
-# 4
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6533 9000 383 383 6533 9000 6916 9383
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6533 9083 4\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 31
+        5050 8400 5107 8391 5161 8383 5214 8375 5266 8366 5316 8358
+        5366 8350 5462 8344 5539 8342 5606 8343 5671 8346 5744 8348
+        5833 8350 6455 8390 6959 8432 7402 8483 7840 8551 8332 8643
+        8933 8766 9088 8804 9213 8837 9322 8868 9430 8901 9551 8938
+        9700 8983 9740 8991 9777 9000 9812 9008 9844 9016 9873 9025
+        9900 9033
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 3 -> 4
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  5050 8566 5190 8609 5343 8654 5504 8702 5667 8750 5828 8800 5983 8850
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 6000 8800 6150 8900 5966 8900 6000 8800
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5600 8633 'F'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        5050 8566 5190 8609 5343 8654 5504 8702 5667 8750 5828 8800
+        5983 8850
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 4 -> 5
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  6866 9200 6926 9233 6987 9266 7050 9297 7112 9328 7173 9357 7233 9383 7342 9434 7454 9487 7566 9541 7679 9595 7790 9648 7900 9700
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 7916 9650 8050 9766 7866 9750 7916 9650
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 7466 9333 10\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        6866 9200 6926 9233 6987 9266 7050 9297 7112 9328 7173 9357
+        7233 9383 7342 9434 7454 9487 7566 9541 7679 9595 7790 9648
+        7900 9700
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 4 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
-  6933 9016 7047 9024 7172 9032 7304 9039 7438 9045 7571 9048 7700 9050 8099 9080 8422 9108 8706 9133 8988 9158 9307 9185 9700 9216 9725 9217 9750 9220 9775 9225 9800 9229 9825 9232 9850 9233
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 9850 9183 10016 9250 9850 9283 9850 9183
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8466 9050 DEF\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
+        6933 9016 7047 9024 7172 9032 7304 9039 7438 9045 7571 9048
+        7700 9050 8099 9080 8422 9108 8706 9133 8988 9158 9307 9185
+        9700 9216 9725 9217 9750 9220 9775 9225 9800 9229 9825 9232
+        9850 9233
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1333 10300 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 10166 IN\001
+4 1 0 0 0 0 14 0.0000 2 150 120 8466 10033 5\001
+4 1 0 0 0 0 14 0.0000 2 165 240 4666 10433 10\001
+4 1 0 0 0 0 14 0.0000 2 150 120 3000 9366 2\001
+4 1 0 0 0 0 14 0.0000 2 150 240 5600 9550 'E'\001
+4 1 0 0 0 0 14 0.0000 2 165 120 10400 9366 1\001
+4 1 0 0 0 0 14 0.0000 2 150 465 9466 9500 DEF\001
+4 1 0 0 0 0 14 0.0000 2 165 240 1333 9483 10\001
+4 1 0 0 0 0 14 0.0000 2 150 240 2166 9866 'E'\001
+4 1 0 0 0 0 14 0.0000 2 150 465 5600 11200 DEF\001
+4 1 0 0 0 0 14 0.0000 2 165 240 2166 9450 10\001
+4 1 0 0 0 0 14 0.0000 2 150 465 6533 7333 DEF\001
+4 1 0 0 0 0 14 0.0000 2 150 120 4666 8550 3\001
+4 1 0 0 0 0 14 0.0000 2 150 270 3833 8800 'O'\001
+4 1 0 0 0 0 14 0.0000 2 165 240 5600 11850 10\001
+4 1 0 0 0 0 14 0.0000 2 150 465 10400 8550 DEF\001
+4 1 0 0 0 0 14 0.0000 2 165 240 3000 8516 10\001
+4 1 0 0 0 0 14 0.0000 2 150 465 7466 8433 DEF\001
+4 1 0 0 0 0 14 0.0000 2 150 120 6533 9083 4\001
+4 1 0 0 0 0 14 0.0000 2 150 225 5600 8633 'F'\001
+4 1 0 0 0 0 14 0.0000 2 165 240 7466 9333 10\001
+4 1 0 0 0 0 14 0.0000 2 150 465 8466 9050 DEF\001

diff --git a/doc/exdoneact.fig b/doc/exdoneact.fig
index 1c573b6..3930e5a 100644 (file)
--- a/doc/exdoneact.fig
+++ b/doc/exdoneact.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -16,30 +16,36 @@ Single
 1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3550 33 33 33 3550 66 3583
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3550 383 383 1333 3550 1716 3933
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3633 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3550 139 3550 237 3550 354 3550 485 3550 624 3550 766 3550
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3483 933 3550 766 3600 766 3483
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3500 IN\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3333 3550 383 383 3333 3550 3716 3933
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3333 3550 450 450 3333 3550 3783 4000
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3333 3633 1\001
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 3483 933 3550 766 3600 766 3483
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2700 3483 2866 3550 2700 3600 2700 3483
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1100 3100 1066 3266 1000 3100 1100 3100
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        -270 2610 3915 2610 3915 4140 -270 4140 -270 2610
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 3550 139 3550 237 3550 354 3550 485 3550 624 3550
+        766 3550
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1733 3550 1881 3550 2039 3550 2204 3550 2371 3550 2538 3550 2700 3550
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2700 3483 2866 3550 2700 3600 2700 3483
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2300 3500 ' ' / A\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        1733 3550 1881 3550 2039 3550 2204 3550 2371 3550 2538 3550
+        2700 3550
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 0 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  1600 3266 1620 3167 1616 3074 1585 2991 1528 2925 1444 2882 1333 2866 1249 2874 1182 2897 1129 2933 1090 2980 1064 3036 1050 3100
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1100 3100 1066 3266 1000 3100 1100 3100
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 2816 'a'..'z'\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        1600 3266 1620 3167 1616 3074 1585 2991 1528 2925 1444 2882
+        1333 2866 1249 2874 1182 2897 1129 2933 1090 2980 1064 3036
+        1050 3100
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1333 3633 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 3500 IN\001
+4 1 0 0 0 0 14 0.0000 2 165 120 3333 3633 1\001
+4 1 0 0 0 0 14 0.0000 2 150 510 2300 3500 ' ' / A\001
+4 1 0 0 0 0 14 0.0000 2 150 510 1333 2816 'a'..'z'\001

diff --git a/doc/exdonepri.fig b/doc/exdonepri.fig
index f825e28..325eeb7 100644 (file)
--- a/doc/exdonepri.fig
+++ b/doc/exdonepri.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -16,78 +16,104 @@ Single
 1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 4983 33 33 33 4983 66 5016
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 4983 383 383 1333 4983 1716 5366
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 5066 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 4983 139 4983 237 4983 354 4983 485 4983 624 4983 766 4983
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 4916 933 4983 766 5033 766 4916
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 4933 IN\001
 # 3
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6566 4983 383 383 6566 4983 6949 5366
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6566 4983 450 450 6566 4983 7016 5433
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6566 5066 3\001
-# 0 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  1600 4700 1620 4600 1616 4507 1585 4425 1528 4359 1444 4315 1333 4300 1249 4308 1182 4330 1129 4366 1090 4413 1064 4469 1050 4533
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1100 4533 1066 4700 1000 4533 1100 4533
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 4250 DEF\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3200 4466 383 383 3200 4466 3583 4849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3200 4550 1\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4833 4983 383 383 4833 4983 5216 5366
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 4916 933 4983 766 5033 766 4916
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1100 4533 1066 4700 1000 4533 1100 4533
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2633 4483 2800 4500 2650 4583 2633 4483
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1866 5150 1716 5066 1883 5050 1866 5150
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2966 4016 2933 4183 2866 4016 2966 4016
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4350 4683 4483 4800 4300 4783 4350 4683
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        5933 4916 6100 4983 5933 5033 5933 4916
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1816 5250 1650 5216 1816 5150 1816 5250
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        3550 4900 3450 4766 3616 4816 3550 4900
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        -90 3510 7155 3510 7155 5535 -90 5535 -90 3510
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 4983 139 4983 237 4983 354 4983 485 4983 624 4983
+        766 4983
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 0 -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        1600 4700 1620 4600 1616 4507 1585 4425 1528 4359 1444 4315
+        1333 4300 1249 4308 1182 4330 1129 4366 1090 4413 1064 4469
+        1050 4533
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  1683 4800 1741 4775 1799 4750 1858 4725 1916 4700 1974 4675 2033 4650 2127 4626 2225 4604 2327 4585 2429 4567 2532 4550 2633 4533
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2633 4483 2800 4500 2650 4583 2633 4483
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2266 4533 'F'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        1683 4800 1741 4775 1799 4750 1858 4725 1916 4700 1974 4675
+        2033 4650 2127 4626 2225 4604 2327 4585 2429 4567 2532 4550
+        2633 4533
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 1 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  2950 4766 2892 4821 2833 4869 2768 4912 2694 4953 2606 4992 2500 5033 2398 5068 2295 5091 2191 5104 2087 5108 1984 5106 1883 5100
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1866 5150 1716 5066 1883 5050 1866 5150
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2266 4983 DEF\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        2950 4766 2892 4821 2833 4869 2768 4912 2694 4953 2606 4992
+        2500 5033 2398 5068 2295 5091 2191 5104 2087 5108 1984 5106
+        1883 5100
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 1 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  3466 4183 3487 4084 3482 3990 3452 3908 3395 3842 3311 3799 3200 3783 3116 3791 3048 3814 2995 3850 2956 3896 2930 3953 2916 4016
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2966 4016 2933 4183 2866 4016 2966 4016
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3200 3733 'F'\001
-# 2
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4833 4983 383 383 4833 4983 5216 5366
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4833 5066 2\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        3466 4183 3487 4084 3482 3990 3452 3908 3395 3842 3311 3799
+        3200 3783 3116 3791 3048 3814 2995 3850 2956 3896 2930 3953
+        2916 4016
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 1 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  3583 4533 3669 4544 3759 4559 3852 4579 3946 4601 4040 4625 4133 4650 4166 4665 4200 4679 4233 4691 4266 4704 4300 4717 4333 4733
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4350 4683 4483 4800 4300 4783 4350 4683
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4016 4550 'I'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        3583 4533 3669 4544 3759 4559 3852 4579 3946 4601 4040 4625
+        4133 4650 4166 4665 4200 4679 4233 4691 4266 4704 4300 4717
+        4333 4733
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 2 -> 3
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  5233 4983 5338 4983 5451 4983 5570 4983 5692 4983 5814 4983 5933 4983
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 5933 4916 6100 4983 5933 5033 5933 4916
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5666 4933 'N'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        5233 4983 5338 4983 5451 4983 5570 4983 5692 4983 5814 4983
+        5933 4983
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 2 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
-  4483 5166 4354 5206 4228 5229 4097 5241 3954 5248 3791 5254 3600 5266 3295 5296 3045 5304 2822 5295 2598 5272 2344 5239 2033 5200 1992 5194 1954 5192 1918 5193 1883 5196 1850 5198 1816 5200
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1816 5250 1650 5216 1816 5150 1816 5250
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3200 5216 DEF\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
+        4483 5166 4354 5206 4228 5229 4097 5241 3954 5248 3791 5254
+        3600 5266 3295 5296 3045 5304 2822 5295 2598 5272 2344 5239
+        2033 5200 1992 5194 1954 5192 1918 5193 1883 5196 1850 5198
+        1816 5200
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 0.000
 # 2 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  4450 5033 4362 5038 4270 5038 4175 5033 4079 5022 3987 5005 3900 4983 3836 4965 3777 4945 3725 4925 3677 4904 3636 4884 3600 4866
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3550 4900 3450 4766 3616 4816 3550 4900
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4016 4933 'F'\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        4450 5033 4362 5038 4270 5038 4175 5033 4079 5022 3987 5005
+        3900 4983 3836 4965 3777 4945 3725 4925 3677 4904 3636 4884
+        3600 4866
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1333 5066 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 4933 IN\001
+4 1 0 0 0 0 14 0.0000 2 150 120 6566 5066 3\001
+4 1 0 0 0 0 14 0.0000 2 150 465 1333 4250 DEF\001
+4 1 0 0 0 0 14 0.0000 2 165 120 3200 4550 1\001
+4 1 0 0 0 0 14 0.0000 2 150 225 2266 4533 'F'\001
+4 1 0 0 0 0 14 0.0000 2 150 465 2266 4983 DEF\001
+4 1 0 0 0 0 14 0.0000 2 150 225 3200 3733 'F'\001
+4 1 0 0 0 0 14 0.0000 2 150 120 4833 5066 2\001
+4 1 0 0 0 0 14 0.0000 2 150 165 4016 4550 'I'\001
+4 1 0 0 0 0 14 0.0000 2 150 270 5666 4933 'N'\001
+4 1 0 0 0 0 14 0.0000 2 150 465 3200 5216 DEF\001
+4 1 0 0 0 0 14 0.0000 2 150 225 4016 4933 'F'\001

diff --git a/doc/exfinpri.fig b/doc/exfinpri.fig
index d91c8e6..b0207af 100644 (file)
--- a/doc/exfinpri.fig
+++ b/doc/exfinpri.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -17,76 +17,100 @@ Single
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 6166 383 383 1400 6166 1783 6549
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 6166 450 450 1400 6166 1850 6616
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1400 6250 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 6166 132 6166 225 6166 341 6166 474 6166 617 6166 766 6166
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 6100 933 6166 766 6216 766 6100
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 6116 IN\001
-# 0 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  1716 5833 1741 5727 1734 5629 1695 5543 1626 5476 1527 5432 1400 5416 1305 5424 1224 5448 1158 5485 1108 5535 1077 5596 1066 5666
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1116 5666 1083 5833 1016 5666 1116 5666
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1400 5366 ' '\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3466 5416 383 383 3466 5416 3849 5799
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3466 5416 450 450 3466 5416 3916 5866
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3466 5500 1\001
-# 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  1733 5833 1794 5782 1860 5730 1931 5679 2006 5630 2084 5587 2166 5550 2270 5512 2380 5482 2493 5458 2608 5440 2722 5426 2833 5416
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2833 5366 3000 5400 2833 5466 2833 5366
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2433 5400 '0'..'9'\001
 # 2
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5866 6433 383 383 5866 6433 6249 6816
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5866 6433 450 450 5866 6433 6316 6883
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5866 6516 2\001
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 6100 933 6166 766 6216 766 6100
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1116 5666 1083 5833 1016 5666 1116 5666
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2833 5366 3000 5400 2833 5466 2833 5366
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        5233 6350 5400 6416 5233 6450 5233 6350
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2033 6166 1866 6133 2033 6066 2033 6166
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        3183 4916 3150 5083 3083 4916 3183 4916
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        5300 6133 5433 6250 5250 6233 5300 6133
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1950 6483 1816 6366 2000 6383 1950 6483
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        5583 5933 5550 6100 5483 5933 5583 5933
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        -45 4365 6615 4365 6615 7020 -45 7020 -45 4365
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 6166 132 6166 225 6166 341 6166 474 6166 617 6166
+        766 6166
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 0 -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        1716 5833 1741 5727 1734 5629 1695 5543 1626 5476 1527 5432
+        1400 5416 1305 5424 1224 5448 1158 5485 1108 5535 1077 5596
+        1066 5666
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        1733 5833 1794 5782 1860 5730 1931 5679 2006 5630 2084 5587
+        2166 5550 2270 5512 2380 5482 2493 5458 2608 5440 2722 5426
+        2833 5416
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 0 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  1866 6200 2033 6216 2216 6232 2408 6247 2606 6261 2804 6273 3000 6283 3391 6307 3790 6328 4185 6347 4565 6366 4918 6383 5233 6400
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 5233 6350 5400 6416 5233 6450 5233 6350
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3466 6233 'a'..'z'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        1866 6200 2033 6216 2216 6232 2408 6247 2606 6261 2804 6273
+        3000 6283 3391 6307 3790 6328 4185 6347 4565 6366 4918 6383
+        5233 6400
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 1 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  3116 5700 3049 5742 2982 5786 2914 5829 2845 5869 2773 5904 2700 5933 2590 5979 2479 6017 2366 6050 2254 6076 2142 6098 2033 6116
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2033 6166 1866 6133 2033 6066 2033 6166
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2433 5883 ' ' / B\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        3116 5700 3049 5742 2982 5786 2914 5829 2845 5869 2773 5904
+        2700 5933 2590 5979 2479 6017 2366 6050 2254 6076 2142 6098
+        2033 6116
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 1 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  3783 5083 3808 4977 3801 4879 3762 4793 3693 4726 3594 4682 3466 4666 3372 4674 3291 4698 3225 4735 3175 4785 3144 4846 3133 4916
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3183 4916 3150 5083 3083 4916 3183 4916
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3466 4616 '0'..'9'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        3783 5083 3808 4977 3801 4879 3762 4793 3693 4726 3594 4682
+        3466 4666 3372 4674 3291 4698 3225 4735 3175 4785 3144 4846
+        3133 4916
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 1 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  3883 5600 4095 5688 4327 5784 4570 5885 4816 5987 5056 6088 5283 6183
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 5300 6133 5433 6250 5250 6233 5300 6133
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4666 5733 'a'..'z' / B\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        3883 5600 4095 5688 4327 5784 4570 5885 4816 5987 5056 6088
+        5283 6183
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 2 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  5416 6533 5099 6593 4727 6650 4314 6695 3878 6722 3434 6720 3000 6683 2783 6650 2595 6618 2427 6583 2271 6542 2120 6493 1966 6433
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1950 6483 1816 6366 2000 6383 1950 6483
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3466 6633 ' ' / A\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        5416 6533 5099 6593 4727 6650 4314 6695 3878 6722 3434 6720
+        3000 6683 2783 6650 2595 6618 2427 6583 2271 6542 2120 6493
+        1966 6433
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 2 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  6183 6100 6208 5993 6201 5895 6162 5810 6093 5743 5994 5699 5866 5683 5772 5691 5691 5714 5625 5752 5575 5801 5544 5862 5533 5933
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 5583 5933 5550 6100 5483 5933 5583 5933
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5866 5633 '0'..'9', 'a'..'z'\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        6183 6100 6208 5993 6201 5895 6162 5810 6093 5743 5994 5699
+        5866 5683 5772 5691 5691 5714 5625 5752 5575 5801 5544 5862
+        5533 5933
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1400 6250 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 6116 IN\001
+4 1 0 0 0 0 14 0.0000 2 150 150 1400 5366 ' '\001
+4 1 0 0 0 0 14 0.0000 2 165 120 3466 5500 1\001
+4 1 0 0 0 0 14 0.0000 2 150 540 2433 5400 '0'..'9'\001
+4 1 0 0 0 0 14 0.0000 2 150 120 5866 6516 2\001
+4 1 0 0 0 0 14 0.0000 2 150 510 3466 6233 'a'..'z'\001
+4 1 0 0 0 0 14 0.0000 2 150 495 2433 5883 ' ' / B\001
+4 1 0 0 0 0 14 0.0000 2 150 540 3466 4616 '0'..'9'\001
+4 1 0 0 0 0 14 0.0000 2 150 855 4666 5733 'a'..'z' / B\001
+4 1 0 0 0 0 14 0.0000 2 150 510 3466 6633 ' ' / A\001
+4 1 0 0 0 0 14 0.0000 2 180 1170 5866 5633 '0'..'9', 'a'..'z'\001

diff --git a/doc/exnegate.fig b/doc/exnegate.fig
index 0a2f61b..487fda5 100644 (file)
--- a/doc/exnegate.fig
+++ b/doc/exnegate.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -17,30 +17,36 @@ Single
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 3683 383 383 1400 3683 1783 4066
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 3683 450 450 1400 3683 1850 4133
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1400 3766 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3683 132 3683 225 3683 341 3683 474 3683 617 3683 766 3683
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3616 933 3683 766 3733 766 3616
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3633 IN\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4400 3683 383 383 4400 3683 4783 4066
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4400 3683 450 450 4400 3683 4850 4133
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4400 3766 1\001
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 3616 933 3683 766 3733 766 3616
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        3766 3616 3933 3683 3766 3733 3766 3616
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4116 3183 4083 3350 4016 3183 4116 3183
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        4950 2655 -90 2655 -90 4230 4950 4230 4950 2655
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 3683 132 3683 225 3683 341 3683 474 3683 617 3683
+        766 3683
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1866 3683 2147 3683 2462 3683 2797 3683 3137 3683 3465 3683 3766 3683
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3766 3616 3933 3683 3766 3733 3766 3616
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2900 3633 -128..'/', ':'..127\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        1866 3683 2147 3683 2462 3683 2797 3683 3137 3683 3465 3683
+        3766 3683
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 1 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  4716 3350 4741 3243 4734 3145 4695 3060 4626 2993 4527 2949 4400 2933 4305 2941 4224 2964 4158 3002 4108 3051 4077 3112 4066 3183
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4116 3183 4083 3350 4016 3183 4116 3183
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4400 2883 DEF\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        4716 3350 4741 3243 4734 3145 4695 3060 4626 2993 4527 2949
+        4400 2933 4305 2941 4224 2964 4158 3002 4108 3051 4077 3112
+        4066 3183
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1400 3766 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 3633 IN\001
+4 1 0 0 0 0 14 0.0000 2 165 120 4400 3766 1\001
+4 1 0 0 0 0 14 0.0000 2 195 1455 2900 3633 -128..'/', ':'..127\001
+4 1 0 0 0 0 14 0.0000 2 150 465 4400 2883 DEF\001

diff --git a/doc/exoption.fig b/doc/exoption.fig
index d8f41f0..fafc107 100644 (file)
--- a/doc/exoption.fig
+++ b/doc/exoption.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -16,58 +16,69 @@ Single
 1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3683 33 33 33 3683 66 3716
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3683 383 383 1333 3683 1716 4066
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3766 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3683 139 3683 237 3683 354 3683 485 3683 624 3683 766 3683
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3616 933 3683 766 3733 766 3616
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3633 IN\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3333 3683 383 383 3333 3683 3716 4066
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3333 3683 450 450 3333 3683 3783 4133
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3333 3766 1\001
-# 1 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  3650 3350 3675 3243 3667 3145 3629 3060 3559 2993 3460 2949 3333 2933 3239 2941 3158 2964 3091 3002 3041 3051 3010 3112 3000 3183
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3050 3183 3016 3350 2950 3183 3050 3183
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3333 2883 '0'..'9'\001
 # 2
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4966 3683 383 383 4966 3683 5349 4066
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4966 3766 2\001
-# 1 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  3800 3683 3894 3683 3992 3683 4093 3683 4196 3683 4298 3683 4400 3683
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4400 3616 4566 3683 4400 3733 4400 3616
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4183 3633 '.'\001
 # 3
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6966 3683 383 383 6966 3683 7349 4066
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6966 3683 450 450 6966 3683 7416 4133
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6966 3766 3\001
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 3616 933 3683 766 3733 766 3616
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        3050 3183 3016 3350 2950 3183 3050 3183
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4400 3616 4566 3683 4400 3733 4400 3616
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        6683 3183 6650 3350 6583 3183 6683 3183
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2700 3616 2866 3683 2700 3733 2700 3616
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        6333 3616 6500 3683 6333 3733 6333 3616
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        7515 2655 -45 2655 -45 4230 7515 4230 7515 2655
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 3683 139 3683 237 3683 354 3683 485 3683 624 3683
+        766 3683
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        3650 3350 3675 3243 3667 3145 3629 3060 3559 2993 3460 2949
+        3333 2933 3239 2941 3158 2964 3091 3002 3041 3051 3010 3112
+        3000 3183
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        3800 3683 3894 3683 3992 3683 4093 3683 4196 3683 4298 3683
+        4400 3683
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 3 -> 3
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  7283 3350 7308 3243 7301 3145 7262 3060 7193 2993 7094 2949 6966 2933 6872 2941 6791 2964 6725 3002 6675 3051 6644 3112 6633 3183
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 6683 3183 6650 3350 6583 3183 6683 3183
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6966 2883 '0'..'9'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        7283 3350 7308 3243 7301 3145 7262 3060 7193 2993 7094 2949
+        6966 2933 6872 2941 6791 2964 6725 3002 6675 3051 6644 3112
+        6633 3183
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1733 3683 1881 3683 2039 3683 2204 3683 2371 3683 2538 3683 2700 3683
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2700 3616 2866 3683 2700 3733 2700 3616
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2300 3633 '0'..'9'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        1733 3683 1881 3683 2039 3683 2204 3683 2371 3683 2538 3683
+        2700 3683
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 2 -> 3
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  5366 3683 5514 3683 5672 3683 5837 3683 6004 3683 6171 3683 6333 3683
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 6333 3616 6500 3683 6333 3733 6333 3616
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5933 3633 '0'..'9'\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        5366 3683 5514 3683 5672 3683 5837 3683 6004 3683 6171 3683
+        6333 3683
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1333 3766 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 3633 IN\001
+4 1 0 0 0 0 14 0.0000 2 165 120 3333 3766 1\001
+4 1 0 0 0 0 14 0.0000 2 150 540 3333 2883 '0'..'9'\001
+4 1 0 0 0 0 14 0.0000 2 150 120 4966 3766 2\001
+4 1 0 0 0 0 14 0.0000 2 150 150 4183 3633 '.'\001
+4 1 0 0 0 0 14 0.0000 2 150 120 6966 3766 3\001
+4 1 0 0 0 0 14 0.0000 2 150 540 6966 2883 '0'..'9'\001
+4 1 0 0 0 0 14 0.0000 2 150 540 2300 3633 '0'..'9'\001
+4 1 0 0 0 0 14 0.0000 2 150 540 5933 3633 '0'..'9'\001

diff --git a/doc/exor.fig b/doc/exor.fig
index 8f19dc6..62e0184 100644 (file)
--- a/doc/exor.fig
+++ b/doc/exor.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -16,94 +16,113 @@ Single
 1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 8700 33 33 33 8700 66 8733
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 8700 383 383 1333 8700 1716 9083
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 8783 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 8700 139 8700 237 8700 354 8700 485 8700 624 8700 766 8700
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 8633 933 8700 766 8750 766 8633
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 8650 IN\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4066 7683 383 383 4066 7683 4449 8066
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4066 7683 450 450 4066 7683 4516 8133
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4066 7766 1\001
 # 2
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6133 8700 383 383 6133 8700 6516 9083
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6133 8700 450 450 6133 8700 6583 9150
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6133 8783 2\001
-# 1 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  4483 7883 4650 7963 4830 8051 5018 8143 5208 8237 5392 8329 5566 8416
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 5600 8366 5716 8500 5550 8466 5600 8366
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5100 7966 '0'..'9'\001
 # 3
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6133 7000 383 383 6133 7000 6516 7383
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6133 7083 3\001
-# 1 -> 3
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  4500 7533 4672 7479 4855 7419 5043 7356 5233 7291 5420 7227 5600 7166
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 5583 7116 5766 7116 5616 7216 5583 7116
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5100 7200 'x'\001
-# 2 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  6450 8366 6475 8260 6467 8162 6429 8077 6359 8009 6260 7965 6133 7950 6039 7958 5958 7981 5891 8018 5841 8068 5810 8129 5800 8200
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 5850 8200 5816 8366 5750 8200 5850 8200
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6133 7900 '0'..'9'\001
 # 4
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 9533 7000 383 383 9533 7000 9916 7383
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 9533 7000 450 450 9533 7000 9983 7450
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 9533 7083 4\001
-# 4 -> 4
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  9850 6666 9875 6560 9867 6462 9829 6377 9759 6309 9660 6265 9533 6250 9439 6258 9358 6281 9291 6318 9241 6368 9210 6429 9200 6500
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 9250 6500 9216 6666 9150 6500 9250 6500
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 9533 6200 '0'..'9', 'A'..'F', 'a'..'f'\001
 # 5
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4066 10316 383 383 4066 10316 4449 10699
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4066 10316 450 450 4066 10316 4516 10766
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4066 10400 5\001
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 8633 933 8700 766 8750 766 8633
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        5600 8366 5716 8500 5550 8466 5600 8366
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        5583 7116 5766 7116 5616 7216 5583 7116
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        5850 8200 5816 8366 5750 8200 5850 8200
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        9250 6500 9216 6666 9150 6500 9250 6500
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        3783 9816 3750 9983 3683 9816 3783 9816
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        3450 7850 3633 7850 3483 7950 3450 7850
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        5500 8633 5666 8700 5500 8750 5500 8633
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        3533 9966 3650 10100 3483 10066 3533 9966
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        8900 6933 9066 7000 8900 7050 8900 6933
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        10530 5985 -90 5985 -90 10845 10530 10845 10530 5985
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 8700 139 8700 237 8700 354 8700 485 8700 624 8700
+        766 8700
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        4483 7883 4650 7963 4830 8051 5018 8143 5208 8237 5392 8329
+        5566 8416
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 1 -> 3
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        4500 7533 4672 7479 4855 7419 5043 7356 5233 7291 5420 7227
+        5600 7166
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 2 -> 2
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        6450 8366 6475 8260 6467 8162 6429 8077 6359 8009 6260 7965
+        6133 7950 6039 7958 5958 7981 5891 8018 5841 8068 5810 8129
+        5800 8200
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+# 4 -> 4
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        9850 6666 9875 6560 9867 6462 9829 6377 9759 6309 9660 6265
+        9533 6250 9439 6258 9358 6281 9291 6318 9241 6368 9210 6429
+        9200 6500
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 5 -> 5
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  4383 9983 4408 9877 4401 9779 4362 9693 4293 9626 4194 9582 4066 9566 3972 9574 3891 9598 3825 9635 3775 9685 3744 9746 3733 9816
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3783 9816 3750 9983 3683 9816 3783 9816
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4066 9516 '0'..'9', 'A'..'Z', 'a'..'z'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        4383 9983 4408 9877 4401 9779 4362 9693 4293 9626 4194 9582
+        4066 9566 3972 9574 3891 9598 3825 9635 3775 9685 3744 9746
+        3733 9816
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1700 8566 1950 8473 2239 8364 2552 8245 2871 8124 3181 8007 3466 7900
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3450 7850 3633 7850 3483 7950 3450 7850
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2666 7916 '0'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        1700 8566 1950 8473 2239 8364 2552 8245 2871 8124 3181 8007
+        3466 7900
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 0 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1733 8700 2226 8700 2850 8700 3547 8700 4260 8700 4930 8700 5500 8700
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 5500 8633 5666 8700 5500 8750 5500 8633
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4066 8650 '1'..'9'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        1733 8700 2226 8700 2850 8700 3547 8700 4260 8700 4930 8700
+        5500 8700
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 0 -> 5
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  1650 8933 1709 8976 1771 9020 1835 9066 1900 9112 1966 9157 2033 9200 2280 9349 2535 9496 2791 9639 3041 9775 3280 9901 3500 10016
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3533 9966 3650 10100 3483 10066 3533 9966
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2666 9100 'A'..'Z', 'a'..'z'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        1650 8933 1709 8976 1771 9020 1835 9066 1900 9112 1966 9157
+        2033 9200 2280 9349 2535 9496 2791 9639 3041 9775 3280 9901
+        3500 10016
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 3 -> 4
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  6533 7000 6862 7000 7250 7000 7672 7000 8104 7000 8522 7000 8900 7000
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 8900 6933 9066 7000 8900 7050 8900 6933
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 7833 6950 '0'..'9', 'A'..'F', 'a'..'f'\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        6533 7000 6862 7000 7250 7000 7672 7000 8104 7000 8522 7000
+        8900 7000
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1333 8783 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 8650 IN\001
+4 1 0 0 0 0 14 0.0000 2 165 120 4066 7766 1\001
+4 1 0 0 0 0 14 0.0000 2 150 120 6133 8783 2\001
+4 1 0 0 0 0 14 0.0000 2 150 540 5100 7966 '0'..'9'\001
+4 1 0 0 0 0 14 0.0000 2 150 120 6133 7083 3\001
+4 1 0 0 0 0 14 0.0000 2 150 210 5100 7200 'x'\001
+4 1 0 0 0 0 14 0.0000 2 150 540 6133 7900 '0'..'9'\001
+4 1 0 0 0 0 14 0.0000 2 150 120 9533 7083 4\001
+4 1 0 0 0 0 14 0.0000 2 180 1875 9533 6200 '0'..'9', 'A'..'F', 'a'..'f'\001
+4 1 0 0 0 0 14 0.0000 2 150 120 4066 10400 5\001
+4 1 0 0 0 0 14 0.0000 2 180 1920 4066 9516 '0'..'9', 'A'..'Z', 'a'..'z'\001
+4 1 0 0 0 0 14 0.0000 2 150 210 2666 7916 '0'\001
+4 1 0 0 0 0 14 0.0000 2 165 540 4066 8650 '1'..'9'\001
+4 1 0 0 0 0 14 0.0000 2 180 1260 2666 9100 'A'..'Z', 'a'..'z'\001
+4 1 0 0 0 0 14 0.0000 2 180 1875 7833 6950 '0'..'9', 'A'..'F', 'a'..'f'\001

diff --git a/doc/exoutact1.fig b/doc/exoutact1.fig
index 6043b15..5ebc332 100644 (file)
--- a/doc/exoutact1.fig
+++ b/doc/exoutact1.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -16,40 +16,47 @@ Single
 1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3550 33 33 33 3550 66 3583
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3550 383 383 1333 3550 1716 3933
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3633 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3550 139 3550 237 3550 354 3550 485 3550 624 3550 766 3550
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3483 933 3550 766 3600 766 3483
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3500 IN\001
 # 2
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5333 3550 383 383 5333 3550 5716 3933
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5333 3550 450 450 5333 3550 5783 4000
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5333 3633 2\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3266 3550 383 383 3266 3550 3649 3933
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3266 3633 1\001
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 3483 933 3550 766 3600 766 3483
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2700 3483 2866 3550 2700 3600 2700 3483
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4700 3483 4866 3550 4700 3600 4700 3483
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        3033 3100 3000 3266 2933 3100 3033 3100
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        -135 2610 5895 2610 5895 4140 -135 4140 -135 2610
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 3550 139 3550 237 3550 354 3550 485 3550 624 3550
+        766 3550
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1733 3550 1881 3550 2039 3550 2204 3550 2371 3550 2538 3550 2700 3550
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2700 3483 2866 3550 2700 3600 2700 3483
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2300 3500 'a'..'z'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        1733 3550 1881 3550 2039 3550 2204 3550 2371 3550 2538 3550
+        2700 3550
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 1 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  3666 3550 3824 3550 3993 3550 4170 3550 4350 3550 4528 3550 4700 3550
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4700 3483 4866 3550 4700 3600 4700 3483
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4266 3500 10 / A\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        3666 3550 3824 3550 3993 3550 4170 3550 4350 3550 4528 3550
+        4700 3550
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 1 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  3533 3266 3554 3167 3549 3074 3518 2991 3461 2925 3377 2882 3266 2866 3183 2874 3115 2897 3062 2933 3023 2980 2997 3036 2983 3100
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3033 3100 3000 3266 2933 3100 3033 3100
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3266 2816 'a'..'z'\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        3533 3266 3554 3167 3549 3074 3518 2991 3461 2925 3377 2882
+        3266 2866 3183 2874 3115 2897 3062 2933 3023 2980 2997 3036
+        2983 3100
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1333 3633 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 3500 IN\001
+4 1 0 0 0 0 14 0.0000 2 150 120 5333 3633 2\001
+4 1 0 0 0 0 14 0.0000 2 165 120 3266 3633 1\001
+4 1 0 0 0 0 14 0.0000 2 150 510 2300 3500 'a'..'z'\001
+4 1 0 0 0 0 14 0.0000 2 165 600 4266 3500 10 / A\001
+4 1 0 0 0 0 14 0.0000 2 150 510 3266 2816 'a'..'z'\001

diff --git a/doc/exoutact2.fig b/doc/exoutact2.fig
index 3a44675..7e01a18 100644 (file)
--- a/doc/exoutact2.fig
+++ b/doc/exoutact2.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -16,47 +16,63 @@ Single
 1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3716 33 33 33 3716 66 3749
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3716 383 383 1333 3716 1716 4099
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3800 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3716 139 3716 237 3716 354 3716 485 3716 624 3716 766 3716
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3650 933 3716 766 3766 766 3650
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3666 IN\001
 # 2
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8500 3716 383 383 8500 3716 8883 4099
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8500 3716 450 450 8500 3716 8950 4166
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8500 3800 2\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4733 3716 383 383 4733 3716 5116 4099
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4733 3800 1\001
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 3650 933 3716 766 3766 766 3650
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4166 3650 4333 3716 4166 3750 4166 3650
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        7866 3650 8033 3716 7866 3766 7866 3650
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1800 4033 1666 3916 1850 3933 1800 4033
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4500 3266 4466 3433 4400 3266 4500 3266
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        -135 2745 9090 2745 9090 4320 -135 4320 -135 2745
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 3716 139 3716 237 3716 354 3716 485 3716 624 3716
+        766 3716
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
-  1733 3716 1783 3715 1833 3712 1883 3708 1933 3704 1983 3701 2033 3700 2432 3700 2755 3700 3039 3700 3322 3700 3640 3700 4033 3700 4057 3700 4079 3700 4100 3700 4120 3700 4142 3700 4166 3700
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4166 3650 4333 3716 4166 3750 4166 3650
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3033 3650 'a'..'z' / lower\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
+        1733 3716 1783 3715 1833 3712 1883 3708 1933 3704 1983 3701
+        2033 3700 2432 3700 2755 3700 3039 3700 3322 3700 3640 3700
+        4033 3700 4057 3700 4079 3700 4100 3700 4120 3700 4142 3700
+        4166 3700
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 0.000
 # 1 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  5133 3716 5508 3716 5960 3716 6456 3716 6961 3716 7443 3716 7866 3716
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 7866 3650 8033 3716 7866 3766 7866 3650
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6583 3666 10 / term_word, newline\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        5133 3716 5508 3716 5960 3716 6456 3716 6961 3716 7443 3716
+        7866 3716
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 1 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
-  4400 3916 4341 3948 4282 3977 4222 4002 4161 4022 4098 4038 4033 4050 3645 4126 3325 4172 3039 4187 2751 4172 2428 4126 2033 4050 1999 4041 1966 4032 1931 4022 1895 4011 1857 3998 1816 3983
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1800 4033 1666 3916 1850 3933 1800 4033
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3033 3983 ' ' / term_word, space\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
+        4400 3916 4341 3948 4282 3977 4222 4002 4161 4022 4098 4038
+        4033 4050 3645 4126 3325 4172 3039 4187 2751 4172 2428 4126
+        2033 4050 1999 4041 1966 4032 1931 4022 1895 4011 1857 3998
+        1816 3983
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 0.000
 # 1 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  5000 3433 5020 3334 5016 3240 4985 3158 4928 3092 4844 3049 4733 3033 4649 3041 4582 3064 4529 3100 4490 3146 4464 3203 4450 3266
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4500 3266 4466 3433 4400 3266 4500 3266
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4733 2983 'a'..'z' / lower\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        5000 3433 5020 3334 5016 3240 4985 3158 4928 3092 4844 3049
+        4733 3033 4649 3041 4582 3064 4529 3100 4490 3146 4464 3203
+        4450 3266
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1333 3800 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 3666 IN\001
+4 1 0 0 0 0 14 0.0000 2 150 120 8500 3800 2\001
+4 1 0 0 0 0 14 0.0000 2 165 120 4733 3800 1\001
+4 1 0 0 0 0 14 0.0000 2 165 1230 3033 3650 'a'..'z' / lower\001
+4 1 0 0 0 0 14 0.0000 2 195 2325 6583 3666 10 / term_word, newline\001
+4 1 0 0 0 0 14 0.0000 2 210 2010 3033 3983 ' ' / term_word, space\001
+4 1 0 0 0 0 14 0.0000 2 165 1230 4733 2983 'a'..'z' / lower\001

diff --git a/doc/explus.fig b/doc/explus.fig
index 0ae86a6..81636f0 100644 (file)
--- a/doc/explus.fig
+++ b/doc/explus.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -16,30 +16,36 @@ Single
 1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3683 33 33 33 3683 66 3716
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3683 383 383 1333 3683 1716 4066
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3766 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3683 139 3683 237 3683 354 3683 485 3683 624 3683 766 3683
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3616 933 3683 766 3733 766 3616
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3633 IN\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4700 3683 383 383 4700 3683 5083 4066
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4700 3683 450 450 4700 3683 5150 4133
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4700 3766 1\001
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 3616 933 3683 766 3733 766 3616
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4416 3183 4383 3350 4316 3183 4416 3183
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4066 3616 4233 3683 4066 3733 4066 3616
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        5850 2655 -90 2655 -90 4230 5850 4230 5850 2655
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 3683 139 3683 237 3683 354 3683 485 3683 624 3683
+        766 3683
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 1 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  5016 3350 5041 3243 5034 3145 4995 3060 4926 2993 4827 2949 4700 2933 4605 2941 4524 2964 4458 3002 4408 3051 4377 3112 4366 3183
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4416 3183 4383 3350 4316 3183 4416 3183
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4700 2883 '0'..'9', 'A'..'Z', 'a'..'z'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        5016 3350 5041 3243 5034 3145 4995 3060 4926 2993 4827 2949
+        4700 2933 4605 2941 4524 2964 4458 3002 4408 3051 4377 3112
+        4366 3183
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1733 3683 2055 3683 2438 3683 2856 3683 3283 3683 3695 3683 4066 3683
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4066 3616 4233 3683 4066 3733 4066 3616
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2983 3633 '0'..'9', 'A'..'Z', 'a'..'z'\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        1733 3683 2055 3683 2438 3683 2856 3683 3283 3683 3695 3683
+        4066 3683
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1333 3766 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 3633 IN\001
+4 1 0 0 0 0 14 0.0000 2 165 120 4700 3766 1\001
+4 1 0 0 0 0 14 0.0000 2 180 1920 4700 2883 '0'..'9', 'A'..'Z', 'a'..'z'\001
+4 1 0 0 0 0 14 0.0000 2 180 1920 2983 3633 '0'..'9', 'A'..'Z', 'a'..'z'\001

diff --git a/doc/exstar.fig b/doc/exstar.fig
index 9759fcc..3d82215 100644 (file)
--- a/doc/exstar.fig
+++ b/doc/exstar.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -17,43 +17,61 @@ Single
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 3850 383 383 1400 3850 1783 4233
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 3850 450 450 1400 3850 1850 4300
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1400 3933 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3850 132 3850 225 3850 341 3850 474 3850 617 3850 766 3850
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3783 933 3850 766 3900 766 3783
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3800 IN\001
-# 0 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  1716 3516 1741 3410 1734 3312 1695 3227 1626 3159 1527 3115 1400 3100 1305 3108 1224 3131 1158 3168 1108 3218 1077 3279 1066 3350
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1116 3350 1083 3516 1016 3350 1116 3350
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1400 3050 10\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3400 3850 383 383 3400 3850 3783 4233
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3400 3933 1\001
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 3783 933 3850 766 3900 766 3783
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1116 3350 1083 3516 1016 3350 1116 3350
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2833 3783 3000 3850 2833 3883 2833 3783
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1950 4183 1816 4066 2000 4083 1950 4183
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        3166 3400 3133 3566 3066 3400 3166 3400
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        3915 2835 -90 2835 -90 4410 3915 4410 3915 2835
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 3850 132 3850 225 3850 341 3850 474 3850 617 3850
+        766 3850
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 0 -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        1716 3516 1741 3410 1734 3312 1695 3227 1626 3159 1527 3115
+        1400 3100 1305 3108 1224 3131 1158 3168 1108 3218 1077 3279
+        1066 3350
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
-  1866 3850 1916 3842 1966 3838 2016 3835 2066 3833 2116 3833 2166 3833 2276 3833 2364 3833 2439 3833 2513 3833 2596 3833 2700 3833 2723 3833 2745 3833 2766 3833 2787 3833 2809 3833 2833 3833
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2833 3783 3000 3850 2833 3883 2833 3783
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2433 3783 'a'..'z'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
+        1866 3850 1916 3842 1966 3838 2016 3835 2066 3833 2116 3833
+        2166 3833 2276 3833 2364 3833 2439 3833 2513 3833 2596 3833
+        2700 3833 2723 3833 2745 3833 2766 3833 2787 3833 2809 3833
+        2833 3833
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 0.000
 # 1 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
-  3066 4050 3008 4081 2949 4110 2889 4135 2828 4156 2765 4172 2700 4183 2601 4203 2517 4212 2439 4214 2360 4209 2272 4198 2166 4183 2133 4175 2100 4166 2066 4158 2033 4150 2000 4141 1966 4133
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1950 4183 1816 4066 2000 4083 1950 4183
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2433 4116 10\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
+        3066 4050 3008 4081 2949 4110 2889 4135 2828 4156 2765 4172
+        2700 4183 2601 4203 2517 4212 2439 4214 2360 4209 2272 4198
+        2166 4183 2133 4175 2100 4166 2066 4158 2033 4150 2000 4141
+        1966 4133
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 0.000
 # 1 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  3666 3566 3687 3467 3682 3374 3652 3291 3595 3225 3511 3182 3400 3166 3316 3174 3248 3197 3195 3233 3156 3280 3130 3336 3116 3400
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3166 3400 3133 3566 3066 3400 3166 3400
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3400 3116 'a'..'z'\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        3666 3566 3687 3467 3682 3374 3652 3291 3595 3225 3511 3182
+        3400 3166 3316 3174 3248 3197 3195 3233 3156 3280 3130 3336
+        3116 3400
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1400 3933 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 3800 IN\001
+4 1 0 0 0 0 14 0.0000 2 165 240 1400 3050 10\001
+4 1 0 0 0 0 14 0.0000 2 165 120 3400 3933 1\001
+4 1 0 0 0 0 14 0.0000 2 150 510 2433 3783 'a'..'z'\001
+4 1 0 0 0 0 14 0.0000 2 165 240 2433 4116 10\001
+4 1 0 0 0 0 14 0.0000 2 150 510 3400 3116 'a'..'z'\001

diff --git a/doc/exstpri.fig b/doc/exstpri.fig
index 2d9e727..c848716 100644 (file)
--- a/doc/exstpri.fig
+++ b/doc/exstpri.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -16,50 +16,58 @@ Single
 1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3550 33 33 33 3550 66 3583
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3550 383 383 1333 3550 1716 3933
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3633 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3550 139 3550 237 3550 354 3550 485 3550 624 3550 766 3550
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3483 933 3550 766 3600 766 3483
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3500 IN\001
 # 3
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6266 3550 383 383 6266 3550 6649 3933
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6266 3550 450 450 6266 3550 6716 4000
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6266 3633 3\001
-# 0 -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  1600 3266 1620 3167 1616 3074 1585 2991 1528 2925 1444 2882 1333 2866 1249 2874 1182 2897 1129 2933 1090 2980 1064 3036 1050 3100
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 1100 3100 1066 3266 1000 3100 1100 3100
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 2816 DEF\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 2966 3550 383 383 2966 3550 3349 3933
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2966 3633 1\001
-# 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1733 3550 1837 3550 1946 3550 2060 3550 2175 3550 2289 3550 2400 3550
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2400 3483 2566 3550 2400 3600 2400 3483
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2150 3500 'F'\001
 # 2
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4533 3550 383 383 4533 3550 4916 3933
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4533 3633 2\001
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 3483 933 3550 766 3600 766 3483
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        1100 3100 1066 3266 1000 3100 1100 3100
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2400 3483 2566 3550 2400 3600 2400 3483
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        3966 3483 4133 3550 3966 3600 3966 3483
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        5633 3483 5800 3550 5633 3600 5633 3483
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        -45 2565 6795 2565 6795 4185 -45 4185 -45 2565
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 3550 139 3550 237 3550 354 3550 485 3550 624 3550
+        766 3550
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 0 -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        1600 3266 1620 3167 1616 3074 1585 2991 1528 2925 1444 2882
+        1333 2866 1249 2874 1182 2897 1129 2933 1090 2980 1064 3036
+        1050 3100
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        1733 3550 1837 3550 1946 3550 2060 3550 2175 3550 2289 3550
+        2400 3550
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 1 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  3366 3550 3460 3550 3559 3550 3660 3550 3762 3550 3865 3550 3966 3550
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3966 3483 4133 3550 3966 3600 3966 3483
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3750 3500 'I'\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        3366 3550 3460 3550 3559 3550 3660 3550 3762 3550 3865 3550
+        3966 3550
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 2 -> 3
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  4933 3550 5038 3550 5151 3550 5270 3550 5392 3550 5514 3550 5633 3550
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 5633 3483 5800 3550 5633 3600 5633 3483
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5366 3500 'N'\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        4933 3550 5038 3550 5151 3550 5270 3550 5392 3550 5514 3550
+        5633 3550
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1333 3633 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 3500 IN\001
+4 1 0 0 0 0 14 0.0000 2 150 120 6266 3633 3\001
+4 1 0 0 0 0 14 0.0000 2 150 465 1333 2816 DEF\001
+4 1 0 0 0 0 14 0.0000 2 165 120 2966 3633 1\001
+4 1 0 0 0 0 14 0.0000 2 150 225 2150 3500 'F'\001
+4 1 0 0 0 0 14 0.0000 2 150 120 4533 3633 2\001
+4 1 0 0 0 0 14 0.0000 2 150 165 3750 3500 'I'\001
+4 1 0 0 0 0 14 0.0000 2 150 270 5366 3500 'N'\001

diff --git a/doc/exstrongsubtr.fig b/doc/exstrongsubtr.fig
index 226f1ff..2f25699 100644 (file)
--- a/doc/exstrongsubtr.fig
+++ b/doc/exstrongsubtr.fig
@@ -1,8 +1,8 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Portrait
 Center
 Metric
-A4
+A4      
 100.00
 Single
 -2
@@ -16,81 +16,105 @@ Single
 1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3716 33 33 33 3716 66 3749
 # 0
 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3716 383 383 1333 3716 1716 4099
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3800 0\001
-# ENTRY -> 0
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3716 139 3716 237 3716 354 3716 485 3716 624 3716 766 3716
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3650 933 3716 766 3766 766 3650
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3666 IN\001
 # 4
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8433 3716 383 383 8433 3716 8816 4099
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8433 3716 450 450 8433 3716 8883 4166
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8433 3800 4\001
 # 1
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3266 3716 383 383 3266 3716 3649 4099
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3266 3800 1\001
-# 0 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1733 3716 1881 3716 2039 3716 2204 3716 2371 3716 2538 3716 2700 3716
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2700 3650 2866 3716 2700 3766 2700 3650
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2300 3666 'a'..'z'\001
-# 1 -> 1
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  3533 3433 3554 3334 3549 3240 3518 3158 3461 3092 3377 3049 3266 3033 3183 3041 3115 3064 3062 3100 3023 3146 2997 3203 2983 3266
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3033 3266 3000 3433 2933 3266 3033 3266
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3266 2983 'a'..'z'\001
 # 2
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4833 3716 383 383 4833 3716 5216 4099
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4833 3800 2\001
-# 1 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  3666 3716 3760 3716 3859 3716 3960 3716 4062 3716 4165 3716 4266 3716
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4266 3650 4433 3716 4266 3766 4266 3650
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4050 3666 ':'\001
-# 2 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  5100 3433 5120 3334 5116 3240 5085 3158 5028 3092 4944 3049 4833 3033 4749 3041 4682 3064 4629 3100 4590 3146 4564 3203 4550 3266
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 4600 3266 4566 3433 4500 3266 4600 3266
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4833 2983 DEF\001
 # 3
 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6700 3716 383 383 6700 3716 7083 4099
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6700 3800 3\001
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        766 3650 933 3716 766 3766 766 3650
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        2700 3650 2866 3716 2700 3766 2700 3650
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        3033 3266 3000 3433 2933 3266 3033 3266
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4266 3650 4433 3716 4266 3766 4266 3650
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        4600 3266 4566 3433 4500 3266 4600 3266
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        6133 3650 6300 3716 6133 3750 6133 3650
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        7800 3650 7966 3716 7800 3766 7800 3650
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        5300 4033 5166 3916 5350 3933 5300 4033
+2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
+        6466 3266 6433 3433 6366 3266 6466 3266
+2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+        9135 2745 -180 2745 -180 4365 9135 4365 9135 2745
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        66 3716 139 3716 237 3716 354 3716 485 3716 624 3716
+        766 3716
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        1733 3716 1881 3716 2039 3716 2204 3716 2371 3716 2538 3716
+        2700 3716
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        3533 3433 3554 3334 3549 3240 3518 3158 3461 3092 3377 3049
+        3266 3033 3183 3041 3115 3064 3062 3100 3023 3146 2997 3203
+        2983 3266
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        3666 3716 3760 3716 3859 3716 3960 3716 4062 3716 4165 3716
+        4266 3716
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
+# 2 -> 2
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        5100 3433 5120 3334 5116 3240 5085 3158 5028 3092 4944 3049
+        4833 3033 4749 3041 4682 3064 4629 3100 4590 3146 4564 3203
+        4550 3266
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
 # 2 -> 3
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
-  5233 3716 5283 3715 5333 3712 5383 3708 5433 3704 5483 3701 5533 3700 5629 3700 5706 3700 5772 3700 5838 3700 5911 3700 6000 3700 6023 3700 6045 3700 6066 3700 6087 3700 6109 3700 6133 3700
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 6133 3650 6300 3716 6133 3750 6133 3650
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5766 3650 13\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
+        5233 3716 5283 3715 5333 3712 5383 3708 5433 3704 5483 3701
+        5533 3700 5629 3700 5706 3700 5772 3700 5838 3700 5911 3700
+        6000 3700 6023 3700 6045 3700 6066 3700 6087 3700 6109 3700
+        6133 3700
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 0.000
 # 3 -> 4
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  7100 3716 7205 3716 7318 3716 7437 3716 7559 3716 7681 3716 7800 3716
- 0 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 7800 3650 7966 3716 7800 3766 7800 3650
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 7533 3666 10\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
+        7100 3716 7205 3716 7318 3716 7437 3716 7559 3716 7681 3716
+        7800 3716
+        0.000 1.000 1.000 1.000 1.000 1.000 0.000
 # 3 -> 2
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
-  6366 3916 6308 3948 6249 3977 6189 4002 6128 4022 6065 4038 6000 4050 5911 4063 5838 4072 5772 4075 5706 4072 5629 4063 5533 4050 5499 4041 5466 4032 5431 4022 5395 4011 5357 3998 5316 3983
- 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 5300 4033 5166 3916 5350 3933 5300 4033
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5766 3983 DEF\001
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
+        6366 3916 6308 3948 6249 3977 6189 4002 6128 4022 6065 4038
+        6000 4050 5911 4063 5838 4072 5772 4075 5706 4072 5629 4063
+        5533 4050 5499 4041 5466 4032 5431 4022 5395 4011 5357 3998
+        5316 3983
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 0.000
 # 3 -> 3
-3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
-  6966 3433 6987 3334 6982 3240 6952 3158 6895 3092 6811 3049 6700 3033 6616 3041 6548 3064 6495 3100 6456 3146 6430 3203 6416 3266
- 0 1 1 1 1 1 1 1 1 1 1 1 0
-2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 6466 3266 6433 3433 6366 3266 6466 3266
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6700 2983 13\001
-# end of FIG file
+3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
+        6966 3433 6987 3334 6982 3240 6952 3158 6895 3092 6811 3049
+        6700 3033 6616 3041 6548 3064 6495 3100 6456 3146 6430 3203
+        6416 3266
+        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
+        1.000 1.000 1.000 1.000 0.000
+4 1 0 0 0 0 14 0.0000 2 150 120 1333 3800 0\001
+4 1 0 0 0 0 14 0.0000 2 150 255 500 3666 IN\001
+4 1 0 0 0 0 14 0.0000 2 150 120 8433 3800 4\001
+4 1 0 0 0 0 14 0.0000 2 165 120 3266 3800 1\001
+4 1 0 0 0 0 14 0.0000 2 150 510 2300 3666 'a'..'z'\001
+4 1 0 0 0 0 14 0.0000 2 150 510 3266 2983 'a'..'z'\001
+4 1 0 0 0 0 14 0.0000 2 150 120 4833 3800 2\001
+4 1 0 0 0 0 14 0.0000 2 150 150 4050 3666 ':'\001
+4 1 0 0 0 0 14 0.0000 2 150 465 4833 2983 DEF\001
+4 1 0 0 0 0 14 0.0000 2 150 120 6700 3800 3\001
+4 1 0 0 0 0 14 0.0000 2 165 240 5766 3650 13\001
+4 1 0 0 0 0 14 0.0000 2 165 240 7533 3666 10\001
+4 1 0 0 0 0 14 0.0000 2 150 465 5766 3983 DEF\001
+4 1 0 0 0 0 14 0.0000 2 165 240 6700 2983 13\001

diff --git a/doc/opconcat.fig b/doc/opconcat.fig
index 312e301..d46084e 100644 (file)
--- a/doc/opconcat.fig
+++ b/doc/opconcat.fig
@@ -1,4 +1,4 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Landscape
 Center
 Metric
@@ -7,37 +7,33 @@ A4
 Single
 -2
 1200 2
-6 225 180 1530 1080
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 585 630 135 135 585 630 720 630
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1215 450 90 90 1215 450 1305 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1215 450 135 135 1215 450 1350 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1215 810 90 90 1215 810 1305 810
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1215 810 135 135 1215 810 1350 810
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 585 630 135 135 585 630 720 630
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1215 810 90 90 1215 810 1305 810
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1215 810 135 135 1215 810 1350 810
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1215 450 135 135 1215 450 1350 450
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1215 450 90 90 1215 450 1305 450
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 2340 630 135 135 2340 630 2475 630
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 2970 450 90 90 2970 450 3060 450
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 2970 450 135 135 2970 450 3105 450
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 2970 810 135 135 2970 810 3105 810
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 2970 810 90 90 2970 810 3060 810
+2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
+       1 1 1.00 45.00 60.00
+        1350 450 2205 585
+2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
+       1 1 1.00 45.00 60.00
+        1350 810 2205 675
 3 1 0 1 0 7 50 0 -1 0.000 0 0 0 8
         225 630 495 270 1125 180 1485 270 1530 630 1485 990
         1125 1080 495 990
         1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
--6
-6 1980 180 3285 1080
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2970 450 90 90 2970 450 3060 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2970 450 135 135 2970 450 3105 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2340 630 135 135 2340 630 2475 630
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2970 810 135 135 2970 810 3105 810
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2970 810 90 90 2970 810 3060 810
 3 1 0 1 0 7 50 0 -1 0.000 0 0 0 8
         1980 630 2250 270 2880 180 3240 270 3285 630 3240 990
         2880 1080 2250 990
         1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
--6
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1350 810 2205 675
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1350 450 2205 585
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
+3 0 0 1 0 7 50 0 -1 0.000 0 1 0 6
+       1 1 1.00 45.00 60.00
         45 675 135 540 225 810 315 630 360 630 450 630
         0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 32 10 0.0000 4 75 75 1710 450 e\001
-4 0 0 50 0 32 10 0.0000 4 75 75 1710 900 e\001
+4 0 0 50 0 32 10 0.0000 4 90 75 1710 450 e\001
+4 0 0 50 0 32 10 0.0000 4 90 75 1710 900 e\001

diff --git a/doc/opor.fig b/doc/opor.fig
index 7dbb8ca..edeefb4 100644 (file)
--- a/doc/opor.fig
+++ b/doc/opor.fig
@@ -1,4 +1,4 @@
-#FIG 3.2
+#FIG 3.2  Produced by xfig version 3.2.5-alpha5
 Landscape
 Center
 Metric
@@ -7,29 +7,23 @@ A4
 Single
 -2
 1200 2
-6 0 765 765 1170
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 585 945 135 135 585 945 720 945
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        45 990 135 855 225 1125 315 945 360 945 450 945
-        0.000 1.000 1.000 1.000 1.000 0.000
--6
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1215 1440 135 135 1215 1440 1350 1440
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1845 1260 90 90 1845 1260 1935 1260
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1845 1260 135 135 1845 1260 1980 1260
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1845 270 90 90 1845 270 1935 270
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1845 270 135 135 1845 270 1980 270
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1215 450 135 135 1215 450 1350 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1845 630 135 135 1845 630 1980 630
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1845 630 90 90 1845 630 1935 630
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1845 1620 90 90 1845 1620 1935 1620
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1845 1620 135 135 1845 1620 1980 1620
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        675 855 1125 540
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 585 945 135 135 585 945 720 945
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1215 450 135 135 1215 450 1350 450
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1845 630 135 135 1845 630 1980 630
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1845 630 90 90 1845 630 1935 630
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1845 270 135 135 1845 270 1980 270
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1845 270 90 90 1845 270 1935 270
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1845 1260 90 90 1845 1260 1935 1260
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1845 1260 135 135 1845 1260 1980 1260
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1215 1440 135 135 1215 1440 1350 1440
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1845 1620 90 90 1845 1620 1935 1620
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1845 1620 135 135 1845 1620 1980 1620
+2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
+       1 1 1.00 45.00 60.00
         675 1035 1125 1350
+2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
+       1 1 1.00 45.00 60.00
+        675 855 1125 540
 3 1 0 1 0 7 50 0 -1 0.000 0 0 0 8
         855 1440 1125 1080 1755 990 2115 1080 2160 1440 2115 1800
         1755 1890 1125 1800
@@ -38,5 +32,9 @@ Single
         855 450 1125 90 1755 0 2115 90 2160 450 2115 810
         1755 900 1125 810
         1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
-4 0 0 50 0 32 10 0.0000 4 75 75 720 1260 e\001
-4 0 0 50 0 32 10 0.0000 4 75 75 720 720 e\001
+3 0 0 1 0 7 50 0 -1 0.000 0 1 0 6
+       1 1 1.00 45.00 60.00
+        45 990 135 855 225 1125 315 945 360 945 450 945
+        0.000 1.000 1.000 1.000 1.000 0.000
+4 0 0 50 0 32 10 0.0000 4 90 75 720 1260 e\001
+4 0 0 50 0 32 10 0.0000 4 90 75 720 720 e\001

diff --git a/doc/opstar.fig b/doc/opstar.fig
index 5bac654..cb2cac6 100644 (file)
--- a/doc/opstar.fig
+++ b/doc/opstar.fig
@@ -7,43 +7,37 @@ A4
 Single
 -2
 1200 2
-6 360 495 1125 900
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 945 675 135 135 945 675 1080 675
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        405 720 495 585 585 855 675 675 720 675 810 675
-        0.000 1.000 1.000 1.000 1.000 0.000
--6
-6 2070 135 2430 495
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2250 315 90 90 2250 315 2340 315
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2250 315 135 135 2250 315 2385 315
--6
-6 969 -122 1329 238
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1149 58 90 90 1149 58 1239 58
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1149 58 135 135 1149 58 1284 58
--6
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1620 495 135 135 1620 495 1755 495
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2250 675 135 135 2250 675 2385 675
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2250 675 90 90 2250 675 2340 675
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 945 675 135 135 945 675 1080 675
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1149 58 90 90 1149 58 1239 58
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1149 58 135 135 1149 58 1284 58
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 1620 495 135 135 1620 495 1755 495
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 2250 315 90 90 2250 315 2340 315
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 2250 315 135 135 2250 315 2385 315
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 2250 675 135 135 2250 675 2385 675
+1 3 0 1 0 7 50 0 -1 0.000 1 0.0000 2250 675 90 90 2250 675 2340 675
+2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
+       1 1 1.00 45.00 60.00
         1080 630 1485 540
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
+2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
+       1 1 1.00 45.00 60.00
         973 543 1103 203
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        2385 360 2700 630 2700 1215 1980 1395 1260 1125 978 801
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        2385 720 2520 855 2475 1125 1935 1215 1395 1035 1067 730
-        0.000 1.000 1.000 1.000 1.000 0.000
 3 1 0 1 0 7 50 0 -1 0.000 0 0 0 8
         1260 495 1530 135 2160 45 2520 135 2565 495 2520 855
         2160 945 1530 855
         1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
-4 0 0 50 0 32 10 0.0000 4 75 75 1845 1125 e\001
-4 0 0 50 0 32 10 0.0000 4 75 75 1845 1440 e\001
-4 0 0 50 0 32 10 0.0000 4 75 75 1156 549 e\001
-4 0 0 50 0 32 10 0.0000 4 75 75 896 442 e\001
+3 0 0 1 0 7 50 0 -1 0.000 0 1 0 6
+       1 1 1.00 45.00 60.00
+        2385 360 2700 630 2700 1215 1980 1395 1260 1125 978 801
+        0.000 1.000 1.000 1.000 1.000 0.000
+3 0 0 1 0 7 50 0 -1 0.000 0 1 0 6
+       1 1 1.00 45.00 60.00
+        405 720 495 585 585 855 675 675 720 675 810 675
+        0.000 1.000 1.000 1.000 1.000 0.000
+3 0 0 1 0 7 50 0 -1 0.000 0 1 0 6
+       1 1 1.00 45.00 60.00
+        2385 720 2520 855 2475 1125 1935 1215 1395 1035 1067 730
+        0.000 1.000 1.000 1.000 1.000 0.000
+4 0 0 50 0 32 10 0.0000 4 90 75 1845 1125 e\001
+4 0 0 50 0 32 10 0.0000 4 90 75 1845 1440 e\001
+4 0 0 50 0 32 10 0.0000 4 90 75 1156 549 e\001
+4 0 0 50 0 32 10 0.0000 4 90 75 896 442 e\001

diff --git a/doc/ragel-guide.tex b/doc/ragel-guide.tex
index b2f9c8b..5f83753 100644 (file)
--- a/doc/ragel-guide.tex
+++ b/doc/ragel-guide.tex
@@ -1875,7 +1875,7 @@ main := ( 'm1' | 'm2' ) $A;
 \graphspace
 
 
-\subsection{Pending Out Actions}
+\subsection{Pending Out (Leaving) Actions}
 \label{out-actions}
 
 \verb|expr % action|