Ian Kelly wrote: >Judgements are appealed, not cases, and R2110 is consistent with this >distinction. The new UNDECIDABLE judgement is distinct from the >original one and thus has never been appealed, so I don't believe this >is a problem either.
That's the way I intended it to work. -zefram
