diff --git a/build.xml b/build.xml index 5f5db53a..e3c69e71 100644 --- a/build.xml +++ b/build.xml @@ -1,6 +1,8 @@ + + @@ -2573,6 +2575,8 @@ + + @@ -2778,6 +2782,7 @@ + @@ -2788,7 +2793,7 @@ - + @@ -2816,6 +2821,7 @@ + @@ -2834,7 +2840,7 @@ - + @@ -2871,6 +2877,7 @@ + @@ -2890,7 +2897,7 @@ - + @@ -2924,6 +2931,7 @@ + @@ -2939,7 +2947,7 @@ - + @@ -2966,6 +2974,7 @@ + @@ -2978,7 +2987,7 @@ - + @@ -2996,9 +3005,9 @@ + - @@ -3009,6 +3018,7 @@ + @@ -3034,7 +3044,7 @@ - + @@ -3069,9 +3079,9 @@ + - @@ -3082,6 +3092,7 @@ + @@ -3109,7 +3120,7 @@ - + @@ -3141,9 +3152,9 @@ + - @@ -3154,6 +3165,7 @@ + @@ -3178,7 +3190,7 @@ - + @@ -3209,9 +3221,9 @@ + - @@ -3222,11 +3234,12 @@ + - + @@ -3255,9 +3268,9 @@ + - @@ -3268,12 +3281,13 @@ + - + @@ -3301,9 +3315,9 @@ + - @@ -3314,6 +3328,7 @@ + @@ -3337,7 +3352,7 @@ - + @@ -3359,9 +3374,9 @@ + - @@ -3372,11 +3387,12 @@ + - + @@ -3409,9 +3425,9 @@ + - @@ -3422,6 +3438,7 @@ + @@ -3444,7 +3461,7 @@ - + @@ -3467,9 +3484,9 @@ + - @@ -3480,12 +3497,13 @@ + - + @@ -3519,9 +3537,9 @@ + - @@ -3532,6 +3550,7 @@ + @@ -3563,7 +3582,7 @@ - + @@ -3600,6 +3619,7 @@ + @@ -3612,7 +3632,7 @@ - + @@ -3630,9 +3650,9 @@ + - @@ -3643,6 +3663,7 @@ + @@ -3658,7 +3679,7 @@ - + @@ -3693,9 +3714,9 @@ + - @@ -3706,6 +3727,7 @@ + @@ -3725,7 +3747,7 @@ - + @@ -3757,9 +3779,9 @@ + - @@ -3770,6 +3792,7 @@ + @@ -3790,7 +3813,7 @@ - + @@ -3809,9 +3832,9 @@ + - @@ -3822,6 +3845,7 @@ + @@ -3845,7 +3869,7 @@ - + @@ -3873,6 +3897,7 @@ + @@ -3894,7 +3919,7 @@ - + @@ -3928,9 +3953,9 @@ + - @@ -3941,6 +3966,7 @@ + @@ -3958,7 +3984,7 @@ - + @@ -3995,6 +4021,7 @@ + @@ -4007,7 +4034,7 @@ - + @@ -4035,6 +4062,7 @@ + @@ -4048,7 +4076,7 @@ - + @@ -4077,6 +4105,7 @@ + @@ -4101,7 +4130,7 @@ - + @@ -4123,9 +4152,9 @@ + - @@ -4136,6 +4165,7 @@ + @@ -4156,7 +4186,7 @@ - + @@ -4186,6 +4216,7 @@ + @@ -4196,7 +4227,7 @@ - + @@ -4215,9 +4246,9 @@ + - @@ -4228,6 +4259,7 @@ + @@ -4236,7 +4268,7 @@ - + @@ -4407,8 +4439,9 @@ - + + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 8f038daa..541030e7 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -1,6 +1,8 @@ + + @@ -439,6 +441,8 @@ + + @@ -594,9 +598,9 @@ + - @@ -607,11 +611,12 @@ + - + @@ -662,9 +667,9 @@ + - @@ -675,12 +680,13 @@ + - + @@ -701,9 +707,9 @@ + - @@ -714,12 +720,13 @@ + - + @@ -770,9 +777,9 @@ + - @@ -783,13 +790,14 @@ + - + @@ -810,9 +818,9 @@ + - @@ -823,13 +831,14 @@ + - + @@ -880,9 +889,9 @@ + - @@ -893,6 +902,7 @@ + @@ -900,7 +910,7 @@ - + @@ -921,9 +931,9 @@ + - @@ -934,6 +944,7 @@ + @@ -941,7 +952,7 @@ - + @@ -990,9 +1001,9 @@ + - @@ -1003,6 +1014,7 @@ + @@ -1011,7 +1023,7 @@ - + @@ -1033,9 +1045,9 @@ + - @@ -1046,6 +1058,7 @@ + @@ -1058,7 +1071,7 @@ - + @@ -1225,8 +1238,9 @@ - + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 570d9e0b..01f36a13 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -1,6 +1,8 @@ + + @@ -135,6 +137,8 @@ + + @@ -282,9 +286,9 @@ + - @@ -295,11 +299,12 @@ + - + @@ -339,9 +344,9 @@ + - @@ -352,6 +357,7 @@ + @@ -361,7 +367,7 @@ - + @@ -519,8 +525,9 @@ - + + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 2a0ec334..b50267b8 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -1,6 +1,8 @@ + + @@ -177,6 +179,8 @@ + + @@ -326,9 +330,9 @@ + - @@ -339,11 +343,12 @@ + - + @@ -393,9 +398,9 @@ + - @@ -406,6 +411,7 @@ + @@ -415,7 +421,7 @@ - + @@ -455,9 +461,9 @@ + - @@ -468,6 +474,7 @@ + @@ -476,7 +483,7 @@ - + @@ -648,8 +655,9 @@ - + +