[Oberon] Batch processing of Oberon commands

[Hellwig Geisse]

Hi Andreas,

On Do, 2020-06-11 at 20:52 +0200, Andreas Pirklbauer wrote:
> Extended Oberon now contains a simple batch processing facility,
> which allows users to activate multiple commands as follows:
> [...]

thanks a lot - much appreciated.

Hellwig