Key legal question
Whether the appeal should be struck off after withdrawal.
Extracted holding
The proceeding was discontinued because the appeal had been withdrawn.
Extracted reasoning
Following the parties' comprehensive settlement, the appellants requested dismissal of the case and withdrew the appeal; the president could therefore close the proceedings by order.