[Termtools] Examples contextsensitive

[joerg at endrullis.de]

OK, the submission of the 17 examples is more important
to me than Jambox taking part in the contextsensitive category.

I have removed Jambox from the contextsensitive category.

I assume that the 17 examples are accepted now?

Kind regards,
Joerg

> Dear all,
>
> Why are we having this discussion? I quote the ruling by the
> SC (announced on the portal):
>
>> To cut this discussion short, I hereby rule
>> that each team may submit up to 10 new termination
>> problems per category that it is registered for
>> (where "X-certified" and "X" count as one category)
>  >
>> Deadline for these submissions is Friday October 31, 10 a.m. CET
>> (= tomorrow morning)
>
> According to an earlier mail of Simon, Jambox is registered
> for the context-sensitive category, so the rule applies.
> Period.
>
> Cheers,
>
> Aart
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/mailman/listinfo/termtools
>