WHILE поднят до цикла Дейкстры:

WHILE ... DO
...
ELSIF ... DO
...
END

Зато исключен LOOP.

Ограничен CASE (только целые, причем подряд).

Только один RETURN (теперь это синтаксически часть закрывающей строки тела функции).

Больше нет передачи структурированных типов по значению, но есть CONST (аналог IN в КП).

POINTER теперь только на записи. В классич. Обероне это нормально, т.к. динамических массивов там все равно не было. Но для инж.-научных задач это жмет, конечно.

+ вроде как процедурный тип для обработки прерываний.

+ мелочи.