Interpreter:
============

* Geringfuegig verbesserte Typfehlermeldungen.
* Typchecker "vergisst" nicht mehr Informationen zwischen
  mehreren interaktiven Eingaben.
* "--noreadline" schaltet jetzt um auf einen sehr einfachen
  (statt gar keinen) Zeileneditor.
* Mit ":set signature" kann die Ausgabe der Typinformationen
  im Interpreter reguliert werden.

Sprache:
========

* Datentypen duerfen nicht auf externe Typvariablen verweisen.
* Neue primitive Funktion: system.
* ">" ist kein Operator mehr.
* Anpassungen des Objektsystems and die Spezifikation.
* Neue Implementierung von "rec".
* Berichtigtes Verhalten von Datentypen mit mehreren Typparametern.

Bibliotheken:
=============

* Neue Namen fuer IO-Funktionen.
* Neue Funktion "read" zum Parsen von natuerlichen Zahlen.
* Neue Bibliothek "ArrayExt.bpl".
* Neue Funktionen in "ListExt.bpl".